Professional Service

Conference Chair

• 16th International Conference on Hybrid Systems: Computation and Control (HSCC 13), April 2013.

• International Workshop on Numerical Abstraction in Software Verification (NSV 08), July 2008.

Program Committee Memberships (selected)

• • International Conference on Computer-Aided Verification (CAV), 2011, 2016, 2018-2020.

  • International Static Analysis Symposium (SAS), 2013, 2024.

  • International Conference on Hybrid Systems: Computation and Control (HSCC), 2007, 2011-2014, 2016, 2017, 2019. 

  • International Symposium on Model Checking Software (SPIN), 2008, 2014-2016. 

  • ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), 2010-2013.

  • International Symposium on Automated Technology for Verification and Analysis (ATVA), 2008, 2010-2013. 

  • International Workshop on Formal Methods for Industrial Critical Systems (FMICS), 2012.

  • International Workshop on Satisfiability Modulo Theories (SMT), 2011-2012. 

  • International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2025. 

  • International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS), 2015, 2016.

Edited Publications

• Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control (HSCC)

• ACM Transactions on Embedded Computing Systems 11(S2): 52 (Special Issue on Verification of Cyber-Physical Software Systems)

• Formal Methods in Systems Design 35(3) (Special Issue on Numerical Software Verification)

Student Supervision

• • Ph.D. dissertation committee member at New York University, Columbia University and at the University of Illinois at Urbana-Champaign.

  • Co-supervised over 40 Ph.D. students as internship supervisor and mentor