About me
My
research is in mathematical logic, with a focus on the interplay
between logic and dynamical systems. Here I am taking "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 researcher at the Department of Mathematics WE16 of Ghent
University and the Institute of Computer Science of the Czech Academy
of Sciences. 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 
Department of Mathematics WE16
Building S8 Krijgslaan 281 B 9000 Ghent Belgium

Email 
David.FernandezDuque "at" UGent.be 
 

