Antonio Filieri

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:

  • Probabilistic software analysis and probabilistic programming
  • Control theory for software engineering
  • Runtime-efficient and incremental verification of quantitative and functional software properties


Selected Recent