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
See the links at the top-right of this page for more info.