I am a Senior Applied Scientist with Amazon Web Services working on automated reasoning for static analysis and security. I also hold a position as Associate Professor (part-time) at the Department of Computing, Imperial College London.

My research interests are in sound and practical formal mathematical methods for software design, development, analysis, and self-adaptation. My main research topics are:

  • Exact and approximate methods for probabilistic program analysis, probabilistic programming, and non-functional verification
  • Control Theory for Software Engineering
  • Runtime-efficient and incremental verification, and static analysis

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 am also deputy 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.