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).