My blogs

About me

Gender MALE
Industry Science
Occupation EPSRC Postdoctoral Research Fellow
Location Oxford, Oxfordshire, United Kingdom
Introduction EPSRC Postdoctoral Research Fellow at Oxford University Department of Computer Science working on infinite-state verification with applications to program analysis, computer security, and analysis of distributed protocols. I love to talk about exotic models of computation, decidability/semi-decidability and complexity techniques, logic and automata.
Interests Infinite state model checking, Program Analysis, Computer Security, Logic and Automata, Algorithms and Complexity, Database Theory, Set Theory, Combinatorics, Philosophy