I'm a Lecturer (Assistant Professor) at the Department of Computing, Imperial College London. My research interests are in the application of Probability, Statistics, Logics, Mathematical Analysis, and Control Theory to software design, coding, analysis, and adaptation.
My main research topics are:
- Exact and approximate methods for probabilistic program analysis and probabilistic programming
- Control Theory for Software Engineering
- Runtime-efficient and incremental verification