Daniel Díaz Quílez

I am a PhD student in Symbolic AI at TU Wien, studying how AI systems can learn abstractions for generalized reasoning. My background is in mathematics and computer science. I earned my bachelor's at the Universidad Politécnica de Madrid, then completed a master's in Mathematics at the University of Helsinki, specializing in mathematical and computational logic.

I am fascinated by the foundations of mathematics, the relationship between truth and proof, and the limits of formal reasoning. Most of my work in mathematics has been in model theory and set theory. I am also interested in proof theory, type theory, and formalizing mathematics in Lean.

News