About me
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.
I am 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. 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.
Contact
| Address |
Departamento de Filosofia
Montalegre, 6
08001 Barcelona,
Spain
|
| E-mail |
fernandez-duque "at" ub.edu |
|
 |
|
|