David Fernandez Duque

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.