David Fernández-Duque is a professor (profesor agregat) at the Department of Philosophy of the University of Barcelona and an external collaborator at the Department of Mathematics WE16 of Ghent University. He holds a bachelor’s degree in Applied Mathematics from Instituto Tecnológico Autónomo de México (ITAM) and a PhD from Stanford University. His doctoral advisor was Grigori Mints. In 2008, he was awarded the Gödel Centenary Research Prize.

His research is in mathematical logic, with a focus on the interplay between logic and dynamical systems. He takes “dynamical systems” in a broad sense which includes topological and discrete dynamics, as well as dynamics of knowledge and information. His current interests include the design of computationally tame frameworks for reasoning about topological dynamics, the use of transfinite methods in fixed point theory, and applications of computational logic to law.

Welcome, David!