Lourdes del Carmen González Huesca

My photo

I am a computer scientist and I obtained my PhD (2015) at the Université Paris Cité (formerly Paris 7) as a PhD student in the PPS laboratory (now the IRIF) and the πr² team of INRIA. Formerly I obtained my degree (2007) in the Computer Science Program at the Faculty of Science at the National Autonomous University of Mexico (UNAM) and the Computer Science master’s degree (2010) from the MCIC program, also at UNAM. I am interested in logic in/for computer science, type systems for programming languages, lambda calculus, and the relation between them. All my work is addressed to interact with the Coq proof assistant. Since January 2024, I am an associate professor at the UNAM’s Faculty of Science in the Mathematical Department in Mexico City.

If you want to learn Coq, check this repository for some practical and interactive tutorials and how-to guides about Coq and the Coq Platform as part of the project Coq Platform Doc.

20th Latin American Symposium on Mathematical Logic XX SLALM 2024

How Close Are Computers to Automating Mathematical Reasoning?"

“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

Coq was selected as recipient of the ACM Software System Award 2013!


Contact

Email address:
luglzhuesca [at] ciencias.unam.mx


Interesting sites


Sugerencias