Meta Research

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.