Contact details

Research Experience

I’ve recently started working as a lecturer and researcher at the Programming Principles, Logic and Verification Group in UCL. My current research interests linger around separation logic, software verification, and program analysis. More generally I’m also interested in applications of logic, the formalisation of mathematics and, also sometimes for fun, online social networks.

I began my academic career in 2012 as a lecturer at Queen Mary, University of London. Previously, I had a couple of postdoctoral stays at the Technische Universität München and the Max Planck Institute for Software Systems, where I worked together with Andrey Rybalchenko and other colleagues from the Verification Systems group.

I obtained my PhD degree from the School of Computer Science at The University of Manchester with Andrei Voronkov as my supervisor. Formerly I worked at a research group on Answer Set Programming leaded by Mauricio Osorio at Universidad de las Américas Puebla in Mexico. Visit the site of the group for more information.

You can also review my list of publications, or have a look at my cv.