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