Me

Mathematician turned into a computer geek. An enthusiast for the popularisation of science, philosophy, humanism, and stuff.
Mathematician turned into a computer geek. An enthusiast for the popularisation of science, philosophy, humanism, and stuff.
My own personal blog (mostly in spanish).
A science popularising blog (in spanish).
A scrapbook with coding hints and notes.
My list of academic and research publications.
Software I contributed to (mostly academic).
A short introduction to LaTeX (in spanish).
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.
Juan Antonio Navarro Pérez
juannavarro@google.com
Software Engineer in Test at Google