I work with the Infer team at Facebook.

I am also senior lecturer

• at the Foundations of Computing Group,
• in the Department of Computer Science,
• which is part of School of Science and Technology,
• at the University of Middlesex.

Links to my

• Google scholar page.
• DBLP page.

See the links at the top-right of this page for more info.