Daniel Díaz Quílez
I am a PhD student in Symbolic AI at TU Wien, interested in AI systems that reason transparently, reliably, and from first principles. I have mostly worked on symbolic and neurosymbolic AI using SAT solvers, but I am also interested in answer set programming (ASP) and inductive logic programming (ILP).
I did my master's in Mathematics at the University of Helsinki, specializing in mathematical and computational logic, and my bachelor's in Mathematics and Computer Science at the Universidad Politécnica de Madrid. In mathematical logic, I am interested in the foundations of mathematics: what truths exist, what can be proven, and what the limits of formal reasoning are. I have mostly worked in model theory and set theory, but I am also interested in proof theory, type theory, and the formalization of mathematics in Lean.
Outside of my studies, I like running, traveling, cooking, reading, writing, and playing chess and Go.