Postdoctoral fellow at Departamento de Matemáticas, Facultad de Ciencias, UNAM. Research interests in Logic, Formal Methods and Philosophy of Computing. Particularly, in human-oriented models and tools for interactive and automated reasoning.
University of Milan
Alumnus, 2022
Mexico City, Mexico
Areas of Specialization
| Logics, Misc |
| Philosophy of Computation, Misc |
Areas of Interest
| Reasoning, Misc |
| Theory of Computation |
| Explainability in Artificial Intelligence |