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.
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.
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)
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