Daniel Díaz Quílez

I am a master's student in Mathematics at the University of Helsinki, specializing in mathematical and computational logic.

On the mathematical side, 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.

On the computational side, I am interested in developing AI systems that reason transparently and reliably, ideally from first principles. I have mostly worked on symbolic and neurosymbolic AI using SAT solvers, but I am also interested in answer set programming and inductive logic programming.

Outside of my studies, I like running, hiking, traveling, cooking, reading, writing, and playing chess and Go.