Diese Seite gibt es auch auf Deutsch |
This page is also available in English |
Institut Camille
Jordan, UMR 5208 Bâtiment Braconnier, Université Lyon I 21, avenue Claude Bernard 69622 Villeurbanne Cedex France |
Frank Olaf Wagner |
Bureau 101 bis Téléphone: +33 (0)4 72 43 27 86 Télécopie: +33 (0)4 72 43 16 87 wagnermath.univ-lyon1.fr |
A la une | Publications | Recherche | Enseignement | Ecole Doctorale InfoMath | Logiciens | Images et liens | CV |
Logique mathématique, en particulier théorie des
modèles et ses applications en algèbre
Né en 1964 à Bad Säckingen. 1983 médaille d'or à l'Olympiade Internationale de Mathématiques à Paris, admission au Studienstiftung des deutschen Volkes. 1984-1986 études à Heidelberg (1986 Vordiplom en mathématiques et en physique), 1986-1990 études de doctorat à Oxford sous la direction de A. Macintyre (1990 soutenance du DPhil). Positions postdoctorales au MSRI à Berkeley et à l'université McGill à Montréal, 1991-1993 chercheur à l'Institut de Logique Mathématique et des Fondements des Mathématiques de l'université de Freiburg; 1993 habilitation sous la direction de M. Ziegler. 1993-1997 maître de conférences en logique mathématique à l'université d'Oxford, membre du Collège Ste Catherine et lecteur au Collège Worcester; 1997 séjour à l'Institut Fields pour la recherche dans les sciences mathématiques à Toronto; 1998-1999 boursier Heisenberg de la Deutsche Forschungsgemeinschaft au MSRI et à l'université d'Oxford. Depuis 1999 professeur 2me classe à l'université Claude Bernard à Lyon; directeur de l'Ecole Doctorale MathIF (Mathématiques - Informatique Fondamentale) 2002 - 2006. Nommé membre junior de l'Institut universitaire de France en 2002. Membre du Comité exécutif de l'Association de logique symbolique (ASL) 2003 - 2005 et 2013 - 2016, et du Comité National du CNRS 2003 - 2004. Membre du Comité de Déontologie de l'université Claude Bernard depuis 2003. Promu professeur 1re classe en 2003. Président de la CSES 25/26 UCBL 2004 - 2006. Directeur de l'Institut Camille Jordan 2007-2010. Nommé Chevalier dans l'ordre des Palmes Académiques en 2008. Membre du CNU 25me section 2010/2011. Membre du Comité pour les Prix et Récompenses de l'ASL 2014 - 2017.