David Fernández-Duque
I am on a Juan de la Cierva research contract at the Department of Computer Science and Artificial Intelligence of the University of Seville.
My research is on applications of modal logic to mathematics, particularly to model dynamical systems and provability in arithmetic.
I belong to the Computational Logic Group of the University of Seville. I am involved in the projects Logics for Unconditionally Secure Protocols, Alternative Interpretations of Non-classical Logics and Model Theory and Applications (from Universitat de Barcelona).
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.
Events
- Next sessions of the University of Seville logic seminar
- We recently celebrated the First International Wormshop in Barcelona
- The univerities of Seville and Málaga co-organized Methods for Modalities in Osuna on 2011
