Alejandro Solares-Rojas

University of Milan

Postdoctoral fellow at Instituto de Ciencias de la Computación, CONICET-UBA. Research interests in Philosophy of Computing, Logic, and Formal Methods for AI. Particularly, in human-oriented models and tools for semi-automated reasoning.