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