Contacto
Juan Antonio Navarro Pérez
juan.navarro@eecs.qmul.ac.uk
Catedrático en la Queen Mary, Universidad de Londres.
Escuela de Ingeniería Electrónica y Ciencias Computacionales,
Ciencias Computacionales Teóricas.
Oficina: CS/333 (Temp.), Ext: 6976.
Electronic Engineering and Computer Science,
Queen Mary, University of London,
Mile End Road, London E1 4NS, UK.
Investigación
Recién inicié mi trabajo académico como catedrático e investigador en el Grupo de Teoría en Queen Mary. Mis intereses actuales de investigación se encuentran rondando a las lógicas de separación, la verificación de software, y el análisis de programas de cómputo. De manera más general, estoy interesado también en las aplicaciones de la lógica, la formalización de las matemáticas y, ocasionalmente, en las redes sociales en línea.
Previamente realicé un par de estancias postdoctorales en la Universidad Técnica de Múnich y el Instituto Max Planck para Sistemas de Software, donde trabajé junto con Andrey Rybalchenko y otros colegas en el grupo de Verificación de Sistemas.
Obtuve el grado de doctorado en la Escuela de Ciencias Computacionales de la Universidad de Manchester. Allí formé parte del grupo de Métodos Formales teniendo a Andrei Voronkov como mi supervisor y a Renate A. Schmidt como asesora. Mi tema de investigación fue sobre la demostración de teoremas efectivamente proposicionales (un fragmento con dominios finitos de la lógica de primer orden), siendo mi principal interés la identificación de aplicaciones que pueden ser codificadas utilizando este formalismo lógico. Puedes leer un resumen (en inglés) de mi primer año de estudios, un reporte corto sobre mi segundo año, el documento de mi tesis doctoral o, para más detalles, mi lista de publicaciones.
Anteriormente trabajé en un grupo de investigación en Programación con Answer Sets dirigido por Mauricio Osorio en la Universidad de las Américas Puebla en México. Obtuvimos diversos resultados interesantes que relacionan a las lógicas intuicionista, multivaluadas y modales con la noción de answer sets. Puedes visitar el sitio del grupo para más información.
Puedes también consultar mi lista de publicaciones en ésta y otras áreas, o dar una mirada a mi currículo.