David Fernandez Duque
homepage: | http://personal.us.es/dfduque/indexen.html |
search externally: | Google Scholar, Springer, CiteSeer, Microsoft Academic Search, Scirus , DBlife |
Description
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.
Lecture:
lecture 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, 3172 views |