Juan Antonio Navarro Pérez

english • español

Yo

Juan Antonio

Matemático convertido en geek de la computación. Entusiasta de la divulgación de la ciencia, la filosofía, el humanismo, y eso.

Sígueme en:

Bio

Me gradué como matemático de la Universidad de las Américas Puebla, y como doctor en ciencias computacionales en The University of Manchester.

Continué con mi trabajo como investigador postdoctoral 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 siguió como catedrático en Queen Mary, University of London, y luego en la University College London donde me integré al grupo de investigación en Principios de Programación, Lógica y Verificación.

Actualmente trabajo en Google.

También soy un embajador STEM voluntario.

Más detalles se pueden encontrar en mi cv o lista de publicaciones.