Past Projects
- Dependent Type Theory: Metatheory and Applications
- Design of a Type-Checking Algorithm for a Nominal Dependent Type System - Towards a Nominal Logical Framework
- Languages and programming Methods in Type Theory
- Andy 1 1/2 is a didactic assistant for composing schematic derivations in First-Order Logic Natural Deduction.
- 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