Contact
Email:
jleyva1@gmail.com
Website:
https://leyvas.org/
Further Information
José Leyva completed a Ph.D. at the MCMP (supervised by Prof. Dr. Stephan Hartmann) with a dissertation on anchoring in deliberations (2024). He also 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
Leyva is interested in general philosophy of science, knowledge representation, automated deduction, algorithms, computability and complexity theory.