I’m a maths geek turned into a computer scientist—an enthusiast for the communication of science, philosophy, humanism, and stuff … mostly stuff.
Links to a few things I’ve done in my spare time:
- My blog. Some of my random thoughts and reasoned opinions. Sporadically updated.
- Parrots, the Universe and Everything. Video and full transcript of Douglas Adams’ talk about his book “Last Chance to See”.
- Pedazos de Carbono. A Spanish-language science communication blog which I co-created and contributed to for 7 years. No longer updated.
- Quick Scripts. A scrapbook with assorted notes and coding tidbits.
- LaTeX Fácil. A short introduction to LaTeX (in Spanish).
- My (old) blog. My older blog with content from 2006–2015. No longer updated.
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.
Juan Antonio Navarro Pérez
Senior Software Engineer at Google, UK
- London, UK