Bedford 2-13

+44 (0)1784 276827

I am a lecturer (assistant professor) in the Computer Science Department at Royal Holloway, University of London. I also have a RHUL web page.

I do research in the areas of programming language semantics and formal verification, as well as some logic and proof theory. I am also interested in type systems, in particular intersection types and guarded recursive types, and fundamental models of computation such as λ-calculus, term rewriting systems, and process calculi.

From 2016 – 2019, I was a postdoctoral researcher in the PLAS group at the University of Kent, and in the PPLV group at University College London from 2014 – 2016. Prior to that, I was as a Teaching Fellow in the Department of Computing at Imperial College London, where I was responsible for teaching and admissions for the MSc in Computing Science. In another life, I also worked in industry as a web developer. I was awarded my MSc in Advanced Computing with Distinction in 2008, and my PhD in 2013, both from Imperial College London. I obtained my BA in Computer Science from the University of Cambridge Computer Lab in 2004, where I was a member of Fitzwilliam College.

I currently teach the 1st year programming labs (CS1822) and the Object-Oriented Programming II module (CS1812/13). Please see my teaching page for more details.