I am a Software Engineer (part time) with the Infer team at Meta. Our remit is to develop tools that analyse code, find software, security, and privacy bugs, as well as opportunities for code improvement.
I am also (part time) a Professor at Imperial College London.
Prior to that I was a Visiting Researcher at MSR. I started my career at the University of Karsruhe.
Programming languages, and in particular, concurrency, types for encapsulation, object oriented programming; also, reasoning about program properties