Acerca de mí
Soy
investigador en el Departamento de Matemáticas de la Universidad de
Gante. Mi investigación trata principalmente sobre lógica matemática,
especialmente lógica modal y teoría de la demostración. También me
interesa la lógica epistémica y la criptografía.
Estudié la
licenciatura en Matemáticas Aplicadas en el ITAM y el doctorado en
Matemáticas en la Universidad de Stanford, bajo la supervisión de
Grigori Mints.
Contacto
| Dirección |
Building 23
Krijgslaan 281
B 9000 Ghent
Belgium |
| Correo electrónico |
David.FernandezDuque "at" UGent.be |
|  |
|
|