I am currently an Associate Professor with the Department of Computer Science and Engineering at Michigan State University.


I am broadly interested in the application of automated formal methods in:
  1. Security/Privacy
  2. Cyber-physical Systems, and
  3. Distributed Computing
  4. .

Ongoing Projects

  1. Runtime Verification at the Edge (NSF SHF)
  2. Software Model Checking for Information-flow Security (NSF SaTC)
  3. Runtime Monitoring of Low-level Blockchain Functions (NSF FMitF)

Past Projects

  1. Resource-Aware Hierarchical Runtime Verification for Mixed-Abstraction-Level Systems of Systems (NSF CPS)

Awards & Recognition

  1. IEEE SRDS 2017 Best Paper Award
  2. SSS 2014 Best Student Paper Award
  3. IEEE SIES 2010 Best Paper Award
  4. Best Paper Award runner up or finalist at EMSOFT'19, ATVA'19, EMSOFT'11, EMSOFT'09, ICDCS'07
  5. ISU LAS Spring 2019 Dean's Lecture
  6. Best Professor Award by the McMaster Software Engineering Club, 2017

From the Press

ISU Spring 2019 Dean's Lecture press release.

Teaching (Fall 2019)

  1. Graduate-level course Computer and Network Security (CSE 825)

Current Events

  1. SRDS'21, General Chair.
  2. OPODIS'21, PC member.
  3. RV'21, PC member.
  4. CAV'21, PC member.
  5. ATVA'21, PC member.
  6. SSS'21, PC member.
  7. SRDS'20, PC co-chair.
  8. EMSOFT'20, PC member.
  9. DATE'20, Topic E4 co-chair.
  10. CAV'20, PC member.
  11. ATVA'20, PC member.
  12. RV'20, PC member.
  13. SIROCCO'20, PC member.


  1. There never was a good war or bad peace. ---- Benjamin Franklin

  2. So, let us not be blind to our differences - - but let us also direct attention to our common interests and to means by which those differences can be resolved. And if we cannot end now our differences, at least we can help make the world safe for diversity. For in the final analysis, our most basic common link is that we all inhabit this small planet. We all breathe the same air. We all cherish our children's future. And we are all mortal. ---- John F. Kennedy