Postdoctoral fellow at the Institute for Research in Computer Science of the University of Buenos Aires. Interested in Computational Logic, Automated Reasoning, and Proof Theory. Member of the the BA Logic Group, as well as external member of the LUCI Lab of the University of Milan and UNAM's Lógica M∃x∀.
University of Milan
Alumnus, 2022
Buenos Aires, Distrito Federal, Argentina
Areas of Specialization
| Logic and Information |
Areas of Interest
| Logic and Information |
| Proof Theory |
| Computational Complexity |