Professional Service

Note: This list is not regularly updated and may not reflect all recent service roles.

Brief Profile

Ashutosh Trivedi is an Associate Professor of Computer Science at the University of Colorado Boulder and a Royal Society Visiting Fellow at the University of Liverpool. His research focuses on bridging machine learning and responsible system design, using formal methods to make AI-enabled systems safer, fairer, and more accountable.

Program Chair

  • 26th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2025)
  • Eighth International Workshop on Symbolic-Numeric Methods for Reachability Analysis (SNR 2022)
  • First Workshop on Verification and Validation of Cyber-Physical Systems (VVCPS 2016)
  • 2nd Workshop on Algorithmic Verification of Real-Time Systems (AVeRTS 2017)
  • 1st Workshop on Algorithmic Verification of Real-Time Systems (AVeRTS 2016)

Program Committees

  • 15th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2024)
  • QEST+FORMATS 2024
  • MFCS 2023, ICALP 2023, FSTTCS 2022, FMICS 2022, MEMOCODE 2022, HSCC 2022, GandALF 2022
  • MEMOCODE 2021, CONCUR 2021, HSCC 2021, ICCPS 2021, AAAI 2021 (Top 25% PC Member), CAV 2021
  • CAV 2020, SR 2019, ACSD 2019, NSV 2019, HSCC 2019, EMSOFT 2019, APLAS 2018, SR 2018, FORMATS 2018
  • HSCC 2018, ACSD 2018, ICCPS 2018, MORE 2018, DIAS 2017, ACSD 2017, CONCUR 2016, FSTTCS 2014
  • FORMATS 2015, HSCC 2015, HSCC 2014, FORMATS 2014, FORMATS 2013

External Reviews (Conferences)

  • ICML 2022, AAAI 2022, FSTTCS 2020, MFCS 2020, ICALP 2020
  • HSCC 2019, SEFM 2017, FSTTCS 2017, ICALP 2014, LICS 2014, CAV 2014, FORMATS 2013
  • FOSSACS 2013, CAV 2013, SODA 2013, Petri Nets 2013, TACAS 2012, FOSSACS 2011
  • FOSSACS 2010, LICS 2010, ICALP 2010, LICS 2009, TACAS 2009, ATVA 2009
  • LICS 2006, CONCUR 2006, ATVA 2005, CAV 2005

External Reviews (Journals)

  • Formal Methods: Logical Methods in CS, Software Tools for Technology Transfer, Theoretical Computer Science, Formal Methods in System Design, Information and Computation, Information Processing Letters, International Journal of Foundations of Computer Science
  • Control Theory: IEEE Open Journal of Control Systems, IEEE Control Systems Letters, IEEE Transactions on Automatic Control
  • Others: Artificial Intelligence, ACM Transactions on Embedded Computing Systems

Organizing Committee

  • 14th Asian Logic Conference (ALC 2015)
  • 6th Indian Conference on Logic and its Applications (ICLA 2015)
  • 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2010)