Formerly I obtained my degree (2007) at the Computer Science Program of the Faculty of Science at the National Autonomous University of Mexico (UNAM) and the Computer Science master’s degree (2010) from the MCIC program at IIMAS, also at UNAM.
I am interested in logic in/for computer science, type systems for programming languages, the lambda calculus, and the relation between them. All my work is addressed to interact with the Coq proof assistant. Since December 2019, I am an early associate professor at the UNAM’s Faculty of Science in Mexico City.
- PPS is nowadays a team of the Research Institute on Fundamental Informatics or L’Institut de Recherche en Informatique Fondamentale (IRIF).
“Purely Functional Programming is the shortest path to writing and proving a program.” — Xavier Leroy
Logic does not concern itself with the external world, but only with systems for trying to understand it. –Yu I. Manin
