Lourdes del Carmen González-Huesca - ICFP 2024

Mon 2 - Sat 7 September 2024 Milan, Italy

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

2024

ICFP

Committee Member in Artifact Evaluation Committe within the Artifact Evaluation-track

Show activities from other conferences

ICFP 2024-profile
View general profile

	
		OSZAR »