David Fernandez Duque
search externally:   Google Scholar,   Springer,   CiteSeer,   Microsoft Academic Search,   Scirus ,   DBlife


I am on a Juan de la Cierva research contract at the Department of Philosophy, Logic and Philosophy of Science of the University of Seville.

My research is on Dynamic Topological Logic, a modal framework for reasoning about dynamic topological systems. This research is supported by a Kurt Gödel Centenary Research Prize.

I belong to the Logic, Language and Information Group of the University of Seville. We are currently beginning a project entitled Logic for Inconditionally Safe Protocols.

I did my undergraduate studies in Applied Mathematics at ITAM, Mexico, and my PhD in Mathematics at Stanford University. My thesis advisor was Grigori Mints.


flag Towards a Modal Proof Theory of Topological Dynamics
as author at  Conference honoring the Winners of the Kurt Gödel Research Prize Fellowships 2008 and 2011,