Maximiliano Onofre-Martínez

Affiliation: School of Sciences, UNAM

I am Maximiliano, a Computer Science graduate from the Faculty of Sciences at UNAM. My academic interests focus on the foundations of mathematics, type theory, and formal verification.

Currently, I am developing my thesis under the supervision of Dr. Lourdes González Huesca, researching transitional proofs to bridge informal mathematical proofs with their mechanical formalization in Lean. Independently, I have contributed to the CSLib library, addressing topics such as the formalization of linear logic.

Academically, I serve as a Teaching Assistant at UNAM, collaborating in the instruction of fundamental courses like Discrete Structures and, soon, advanced subjects like Programming Languages II.