Proyectos finalizados
- Teoría de tipos dependientes: meta-teoría y aplicaciones
- Diseño de un algoritmo de verificación de tipos para un sistema de tipos dependientes nominal - Hacia un Logical Framework Nominal
- Lenguajes y Métodos de Programación en Teoría de Tipos
- Andy 1 1/2 es un asistente didáctico para realizar derivaciones esquemáticas en Lógica de Primer Orden en Deducción Natural.
- Dependent Types for Nominal Terms
- Types for Robust Program Development
- Verificación de Transformaciones de Modelos de Comportamiento Basados en UML
- Low Cost Computer Based System for Quality Evaluation and Preservation of Grains Stored in Polymer Bags
- Extensiones de modelos UML para el diseño del comportamiento de sistemas de tiempo real y líneas de producción