Mi interés se sitúa en el área llamada métodos formales en ingeniería de software. En este área me dedico tanto a temas teóricos, como ser los relacionados con la provisión de lenguajes capaces de capturar diferentes características en la especificación, diseño, implementación y validación de sistemas de software; como a temas prácticos, relacionados con la provisión de herramientas capaces de proveer métodos automáticos y semiautomáticos para el análisis y verificación de los lenguajes mencionados anteriormente.

Asignaturas actuales grado/posgrado

Programación y algoritmos
Resolución de problemas por computadora
 

Asignaturas anteriores grado/posgrado
Programación y algoritmos
Resolución de problemas por computadora