Juan Antonio Navarro Pérez

Sobre mí

Perfil

Imagen del perfil de Juan Antonio

Geek de las matemáticas convertido en científico de cómputo—un entusiasta por la divulgación de la ciencia, la filosofía, el humanismo, y cosas … sobre todo cosas.

Productos de ocio

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

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

Juan Antonio Navarro Pérez

Ingeniero de Software Sénior en Google, UK