Headshot of Dino Distefano
Headshot of Dino Distefano


Dino Distefano

Research Scientist

I am an Engineering Manager working on software verification and static analysis.

I received my PhD from University of Twente (NL). After several years of Academic Research at Queen Mary University of London, I co-founded Monoidics Ltd, a London-based high-tech start-up providing automatic software verification to safety critical industries. Monoidics was acquired by Meta (previously Facebook) in 2013. I maintain a part-time Professor position at Queen Mary University of London.

My research interests include programming languages, static analysis, logic, and program verification.

I co-developed several software tools for program analysis and verification. The latest tool, the Facebook Infer program analyzer, helps developers to identify bugs before software is shipped to users.

I am the recipient of the Roger Needham Award 2012, the Royal Academy of Engineering Silver Medal 2014, the CAV 2016 Award, and the ACM SIGPLAN Most Influential OOPSLA Paper Award.


Programming languages, static analysis, logic, and program verification