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