Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft
print

Links und Funktionen

Navigationspfad


Inhaltsbereich
Leyva Galano, José A.

José A. Leyva Galano, M.Sc.

Doctoral Fellow

Kontakt

Ludwigstr. 31
Raum 128
D-80539 München

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

Sprechstunde:
By appointment.

Downloads

Weitere Informationen

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.