Registered user since Fri 18 Apr 2025
Name:Jonathan Julian Huerta y Munive
Bio:
Researcher in formal verification with interactive theorem provers and its automation
Country:Denmark
Affiliation:Aalborg University in Copenhagen
Personal website: https://jjhym.com.mx/
X (Twitter): https://x.com/jjHuertayMunive
GitHub: https://github.com/yonoteam
Research interests:Formal verification, automated theorem proving
Contributions
FM 2026-profile
View general profile
View general profile