Professional Service
home | bio | publications | talks | service | etc
Conference Program Committee (PC)
Organizer
Currently or Recently on PC
- Artifact Evaluation Chair, Formal Modeling and Analysis of Timed Systems (FORMATS) 2022
- Annual Modeling and Simulation Conference (AnnSim), new conference that merges SpringSim and SummerSim conferences, 2021-
- Formal Methods (FM), 2021-
- Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS), 2020-
- Hybrid Systems: Computation and Control (HSCC), 2016-2019, Awards Chair: 2018, Poster and Demo Chair: 2017, Repeatability Evaluation Committee: 2014
- International Conference on Cyber-Physical Systems (ICCPS), 2020-, 2015
- IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2015 -, Industry Vice Chair: 2018
- Winter Simulation Conference (WinterSim), 2017- , CPS Track Chair: 2017
- International Conference on Informatics in Control Automation and Robotics (ICINCO), 2020, 2017-2018
- Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS), 2019-, PC Chair: 2019
- Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS), 2017-
- Workshop on Numerical Software Verification Workshop (NSV), 2018-2019
Past
PhD Thesis Committee
- Yi Deng, ECSE Department, Rensselaer Polytechnic Institute.
Industry Advisory Boards
- User Committee Member, Dutch Research Councli (NWO), Domain Applied and Engineering Sciences, Veni grant titled “CODEC: Correct-by-design Estimation and Control of partially observable stochastic systems,” Sofie Haessert, Principal Investigator.
- Industry Advisory Board Member, MIT Climate & Sustainability Consortium, January 2021 -
- Industry Advisory Committee Member, Autonomous Systems Specialization Coursework in Robotics Engineering, Worcester Polytechnic Institute.
- Industry Vice Chair, IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) 2018
- Industry Advisory Board Member, IEEE International Symposium on Circuits and Systems (ISCAS) 2018
Editorial
- Technology Conferences Editorial Board (TCEB) Member, IEEE Control Systems Society, 2020-23
- Editorial Advisory Board Member, Resilience in Cyber-Physical Systems: From Risk Modelling to Threat Counteraction, F. Flammini (Ed.), Springer Book in the Series Advanced Sciences and Technologies for Security Applications, A. J. Masys (Series Ed.)
- Editor, EGO Insider’s Guide, ECE Graduate Organization (EGO), Carnegie Mellon University, 2010-2012.
Technical and Professional Committees
Judge
- “CPS V&V Grand Prix,”, Final Project Competition for the Course 15-424/15-624/15-824 Foundations of Cyber-Physical Systems, Carnegie Mellon University. Host: Prof. Andre’ Platzer.
Teaching Assistantship
- 18-474: Embedded Control Systems, Electrical and Computer Engineering Department, Carnegie Mellon University
- [Spring 2011 | Spring 2010]
- MATH 114: Calculus II, Mathematics Department, University of Pennsylvania
- [Spring 2008 | Fall 2007]
- ESE 210: Introduction to Dynamic Systems, Electrical and Systems Engineering Department, University of Pennsylvania, Spring 2007.
- ESE 301: Introduction to Probability, Electrical and Systems Engineering Department, University of Pennsylvania, Fall 2006.
- (Grader) OPIM 101: Introduction to Computer as an Analysis Tool, Operations and Information Management Department, (now called the Operations, Information and Decisions Department), Wharton School, University of Pennsylvania, Spring 2006.
Other Voluntary Instruction