Munich Center for Mathematical Philosophy (MCMP)

Breadcrumb Navigation

Leyva Galano, José A.

José A. Leyva Galano, M.Sc.

Doctoral Fellow


Ludwigstr. 31
Raum 128
D-80539 München

Phone: +49 (0) 89 / 2180 - 3472

Office hours:
By appointment.


Further Information

José Leyva is a Ph.D. student supervised by Stephan Hartmann. He completed a Master in Computational Logic at the TU Dresden. Before, he graduated from the University of Havana with a Bachelor in Computer Science.

Research Interests

José Leyva's research interests are in knowledge representation, automated deduction, quantum information theory, computability and complexity theory.