Professional Service

Conference Chair

  • 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

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