Lourdes del Carmen González Huesca

I am a computer scientist and I obtained my PhD (2015) at the Université Paris Diderot-Paris 7 as a PhD student of the PPS laboratory* and the πr² team of INRIA Paris-Rocquencourt

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).

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