Contact details
Juan Antonio Navarro Pérez
juan.navarro@eecs.qmul.ac.uk
Computer Science Lecturer at Queen Mary, University of London.
School of Electronic Engineering and Computer Science,
Theoretical Computer Science.
Office: CS/431 (Temp.)
Electronic Engineering and Computer Science,
Queen Mary, University of London,
Mile End Road, London E1 4NS, UK.
Research
I’ve just started my academic position as a lecturer and researcher at the Theory Group in Queen Mary. My current research interests are lingering around separation logic, software verification and program analysis. More generally I’m also interested in applications of logic, the formalisation of mathematics and, on occasion, online social networks.
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. There, I formed part of the Formal Methods group having Andrei Voronkov as my supervisor and Renate A. Schmidt as my adviser. My research topic dealt with effectively propositional theorem proving (a finite domain fragment of first order logic), being its main focus the characterisation of applications that can be encoded using this logic formalism. You can read a summary of my first year of PhD studies, a short report of my second year, the document of my PhD thesis or, for more details, my list of publications.
Formerly I worked at a research group on Answer Set Programming leaded by Mauricio Osorio at Universidad de las Américas Puebla in México. We obtained several interesting results relating intuitionistic, multivalued and modal logics with the notion of answer sets. Visit the site of the group for more information.
You can also review my complete list of publications in this and other areas, or have a look at my cv.