David Fernández-Duque

David Fernández-Duque

University Professor

Universitat de Barcelona

I am a professor (profesor agregat) at the Department of Philosophy of the University of Barcelona. I hold a bachelor's degree in Applied Mathematics from ITAM and a PhD from Stanford University. My doctoral advisor was Grigori Mints. In 2008, I was awarded the Gödel Centenary Research Prize.

My research is in mathematical logic, with a focus on the interplay between logic and dynamical systems. I take "dynamical systems" in a broad sense which includes topological and discrete dynamics, as well as dynamics of knowledge and information. My 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.

Link to my personal webpage: https://users.ugent.be/~dfernnde/