Juan Antonio Navarro Pérez

Productos de ocio

Enlaces a algunas cosas que he hecho en mi tiempo libre:

• Mi blog. Algunos de mis pensamientos fortuitos y opiniones fundamentadas. Actualizado esporádicamente.
• Parrots, the Universe and Everything. Vídeo y transcripción completa de una plática de Douglas Adams sobre su libro “Last Chance to See” (“Mañana no estarán”).
• Pedazos de Carbono. Un blog en idioma español para la comunicación de la ciencia que yo co-cree y al que contribuí por 7 años. Ya no se actualiza.
• Quick Scripts. Una colección variada de notas y trozos de código.
• LaTeX Fácil. Una breve introducción a LaTeX (en español).
• Mi (viejo) blog. Mi más antiguo blog con contenidos del 2006 al 2015. Ya no se actualiza.

Reseña profesional

Me gradué como matemático de la Universidad de las Américas Puebla y como doctor en ciencias de la computación por parte de The University of Manchester.

Como investigador de posgrado trabajé en el Max Planck Institute for Software Systems y la Technische Universität München, donde desarrollé aplicaciones de razonamiento automático en análisis y verificación de software.

Mi carrera académica continuó como catedrático en Queen Mary, University of London y luego en University College London.

Actualmente trabajo en Google.

Consulta también mi CV, publicaciones académicas, o herramientas de software.

Contacto