Program Committee :
NASA Formal Methods 2023, Numerical Software Verification 2022

Conference Reviewer :
AAAI 2023, ICML 2022, NeurIPS 2020, 2021, Runtime Verification (RV) 2022, DESTION 2022

Journal Reviewer :
Transactions on Embedded Computing Systems (TECS), Control System Letters, Transactions on Neural Networks and Learning Systems

Teaching Activities

• Course : Embedded Software for Life- Critical IoT/CPS Applications, at Dept of Computer and Information Science, University of Pennsylvania.

Semester : Fall 2022
Role : Co-Instructor with Prof Insup Lee.

• Course : C Programming for Engineers, Dept of Electrical and Compute Engineering, University of Colorado, Boulder.
  Semester : Fall 2017, Spring 2017

Role : Teaching Assistant with Prof Fabio Somenzi.