Professional Service
Conference Chair
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)
Program Committee Memberships (selected)
- International Symposium on Model Checking Software (SPIN), 2008, 2014.
- Summer Simulation Multi-Conference (SummerSim), 2014.
- International Conference on Hybrid Systems: Computation and Control (HSCC), 2007, 2011-2014.
- 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 Static Analysis Symposium (SAS), 2013.
- International Workshop on Formal Methods for Industrial Critical Systems (FMICS), 2012.
- International Workshop on Satisfiability Modulo Theories (SMT), 2011-2012.
- International Conference on Computer-Aided Verification (CAV), 2011, 2016.
Edited Publications
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
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