This is a legacy website maintained by the Max Planck Institute for Software Systems. It was last updated on April, 2010.
Please visit my personal research page for up to date information and my current affiliation.
Contacto
Oficina: 03.11.057, Ext: 17230
Boltzmannstr. 3, 85748 Garching bei München, Germany
Investigación
Actualmente estoy trabajando como investigador visitante en la Cátedra de Fundamentos de Confiabilidad en Software y Ciencia de la Computación Teórica bajo la supervisión de Andrey Rybalchenko. El enfoque principal de nuestra investigación es el desarrollo y verificación de programas basados en reglas. Entre mis intereses de investigación están también la formalización de las matemáticas y, de manera ocacional, redes sociales en línea.
Previamente realicé una estancia postdoctoral por dos años en el Instituto Max Planck para Sistemas de Software, donde trabajé en el grupo de Verificación de Sistemas dirigido entonces por Andrey Rybalchenko.
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.