I am a Senior Applied Scientist with Amazon Web Services working on automated reasoning for static analysis, automated test generation, and security. I also hold a Honorary position as Associate Professor at the Department of Computing, Imperial College London.


My research interests are in sound and industry-strength formal mathematical methods for software design, verification, 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 verification and model checking
  • Runtime-efficient and incremental verification


Previously, I held a tenured position as Associate Professor at the Department of Computing, Imperial College London (2016-2022 Assistant, 2022-2024 Associate). Between 2013 and 2015, I was Assistant Professor at the University of Stuttgart.

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 (2024), Runan Wang (2024), Xiaotong Ji (expected 2025).