+49 (0) 89 / 2180 - 3472
- CV, Leyva José (181 KByte)
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.
José Leyva's research interests are in knowledge representation, automated deduction, quantum information theory, computability and complexity theory.