Professional Service

Conference Chair

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

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