I am a Senior Applied Scientist with Amazon Web Services working on automated reasoning for static analysis and security. Previously, I held a tenured position as Associate Professor at the Department of Computing, Imperial College London, until Feb 2024. Between 2014 and 2016, I have been Assistant Professor at University of Stuttgart.

My research interests are in sound and practical formal mathematical methods for software design, analysis, self-adaptation, and security. My main research topics are:

  • Static analysis, privacy, and automated test generation
  • Exact and approximate methods for probabilistic program analysis and programming
  • Control theory for adaptive software
  • Quantitative verificationand model checking
  • Runtime-efficient and incremental verification

Teaching: over the past few years, I have been teaching data structures and concurrency in Java (undergraduate), and graduate courses on probabilistic model checking, probabilistic programming, and control theory for adaptive software. I have also been invited to teach at several international PhD summer schools and classes.

PhD Students: Donato Clun (expected graduation 2024), Runan Wang (2024), Xiaotong Ji (2025).