Multiple funded Ph.D. positions are available in the areas of information-flow security and autonomous routing in multi-UAV networks. If you are interested, please contact me.

I am currently an assistant professor with the Department of Computer Science at Iowa State University.

Research: I am broadly interested in the area of constructing dependable distriibuted systems and in particular in:

  1. Distributed autonomous vehicle routing and, in particular, unmanned aerial vehicles (UAVs),
  2. Information-flow security, in particular, monitoring and verification of hyperproperties,
  3. Resource-aware runtime monitoring of cyber-physical systems, and
  4. Synthesis and model-based implementation of distributed applications.

Teaching. In Spring 2019, I will be teaching:

  1. Undergrad-level course Operating Systems (CS 352)

Events. I am currently involved in these events:

  1. EMSOFT'18, PC member.
  2. NETYS'18, PC member.
  3. CPS-SR'18, PC member.
  4. FORMATS'18, PC member.
  5. RV'18, PC member.
  6. SRDS'18, PC member.
  7. ICDCS'18, PC member.
  8. DISC'17, PC member.
  9. FORTE'17, PC member.
  10. ICDCN'18, PC member.
  11. SRDS'17, PC member.
  12. PODC'17, PC member.
  13. IPDPS'17, PC member.
  14. DATE'17, PC member.
  15. RV'17, PC member.
  16. iFM'17, PC member.
  17. SSS'16, PC chair.
  18. EUC'16, PC Track chair.
  19. FACS'16, PC member.
  20. SRDS'16, PC member.
  21. RV'16, PC member.
  22. iFM'16, PC member.
  23. NFM'16, PC member.

Passion: 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

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