![Lourdes del Carmen González-Huesca](https://icfp23.sigplan.org/getProfileImage/lourdesdelcarmengonzalezhuesca/b6489b6f-182e-4b9c-87fc-b3630de2f84f/small.jpg?1711481215000)
Registered user since Wed 21 Jul 2021
Name:Lourdes del Carmen González-Huesca
Country:Mexico
Affiliation:National Autonomous University of Mexico
Personal website: https://louglzhuesca.github.io/
GitHub: https://github.com/LouGlzHuesca
Research interests:Coq, Formal Verification, Modal Logics
Contributions
ICFP 2023-profile
View general profile
View general profile