My research interests lie primarily in the following areas:
- Programming languages, and software engineering,
- Formal methods in computing, especially automated verification,
- Anything related to compilers,
- Analysis/verification/synthesis of probabilistic systems,
- Cybersecurity and networking.
I am looking for PhD students.
If you're interested in any of the topics listed above,
or just want to chat about your potential research interests,
please send me an email.