Juan Antonio Navarro Pérez

About me


Juan Antonio's profile picture

I’m a maths geek turned into a computer scientist—an enthusiast for the communication of science, philosophy, humanism, and stuff … mostly stuff.

Side projects

Links to a few things I’ve done in my spare time:

Professional bio

I got a degree in mathematics from Universidad de las Américas Puebla and a PhD in computer science from The University of Manchester.

As a postdoctoral researcher, I worked at the Max Planck Institute for Software Systems and the Technische Universität München, where I developed applications of automated reasoning into program analysis and verification.

My academic career continued as a lecturer at Queen Mary, University of London and then at University College London.

Currently, I work at Google.

Also see my CV, research papers, or software tools.

Contact info

Juan Antonio Navarro Pérez

Senior Software Engineer at Google, UK