David Fernández-Duque
Centre International de Mathématiques et d'Informatique de Toulouse

 Home     |     Publications     |     Español

About me

I am a CIMI research fellow at IRIT and on leave from Instituto Tecnológico Autónomo de México. My research is primarily on mathematical logic, especially modal logic and proof theory. I am also interested in epistemic logic and cryptography.

I hold a bachelor's degree in Applied Mathematics from ITAM and a PhD from Stanford University. My doctoral advisor was Grigori Mints.

Third International Wormshop

The Third Workshop on Proof Theory, Modal Logic and Reflection Principles (Third International Wormshop) will be held in Tbilisi, Georgia from 5-9 September, 2016. Click here for more information. 

Contact

Address IRIT, Université Paul Sabatier
118 Route de Narbonne
F-31062 Toulouse CEDEX 9
France
Telephone (33)561-55-67-65
E-mail david.fernandez@irit.fr