I am currently an Assistant Professor with the Department of Computer Science at Iowa 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. Software Model Checking for Information-flow Security (NSF SaTC)
  2. Runtime Monitoring of Low-level Blockchain Functions (NSF FMitF)

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 Principles of Information-flow Security (COMS 641)
  2. Undergrad-level course Operating Systems (COMS 352)

Current Events

  1. SRDS'20, PC co-chair.
  2. EMSOFT'20, PC member.
  3. DATE'20, Topic E4 co-chair.
  4. CAV'20, PC member.
  5. ATVA'20, PC member.
  6. RV'20, PC member.
  7. 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