Contact
Ludwigstr. 31
Raum 128
D-80539 München
Raum 128
D-80539 München
Phone:
+49 (0) 89 / 2180 - 3472
Email:
J.Leyva@lrz.uni-muenchen.de
Office hours:
By appointment.
Downloads
- CV, Leyva José (181 KByte)
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.