Juan Antonio Navarro Pérez

english • español


Juan Antonio

Mathematician turned into a computer geek. An enthusiast for the popularisation of science, philosophy, humanism, and stuff.

Follow me on:


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 where I became member of the Programming Principles, Logic and Verification research group.

Currently I work at Google.

I’m also a volunteer STEM ambassador.

Further details can be glanced at from my cv or list of publications.