Alejandro J. Solares-Rojas

Affiliation: School of Sciences, UNAM

Postdoctoral fellow at the Department of Mathematics of the School of Sciences (Departamento de Matemáticas, Facultad de Ciencias) at UNAM. His research interests are in Logic and Formal Methods. Particularly, in human-oriented models and tools for interactive and automated reasoning.

He received his PhD in Philosophy from the University of Milan in 2022. Previously, he completed both his MA and BA in Philosophy at the National Autonomous University of Mexico (UNAM).