I'm an 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

Teaching: I teach data structures and concurrency in Java (undergraduate), probabilistic model checking, and probabilistic programming (graduate).

I am also the Director of Postgraduate Research for the Department of Computing.
For general inquiries related to PhD admissions or program procedures in our department, please contact the PhD program administrator, Dr Amani El-Kholy.