Je suis maître de conférences en mathématiques
l'université de la Méditerranée
depuis septembre 2009. J'ai rejoint l'équipe LDP
de l'IML après une
thèse de mathématiques,
suivie d'une année d'ATER en informatique à l'université de Savoie.
Recherche
Mes intérêts de recherche se situent à l'interface entre
informatique et logique. Mon domaine de prédilection est la théorie de
la démonstration, éclairée par la correspondance
preuves-programmes.
Plus précisément, mes activités de recherche à ce jour sont
concentrées autour de trois domaines distincts mais intimement
connectés:
- la sémantique dénotationnelle des modèles de calcul issus de
systèmes logiques ;
- l'étude de la logique classique dans la correspondance
preuves–programmes ;
- les problèmes de confluence et normalisation dans certains systèmes
de réécriture.
Mes articles sont disponibles sur cette page. Une description de ma thèse et les documents
associés se retrouvent sur une page dédiée.
On peut également consulter la liste donnée par DBLP.
Je propose aussi des sujets de stages.
Enseignement
Pour le premier semestre 2009–2010
- Responsable du cours de Logique en L3 MATH et MFSS (MAT28)
- page du cours
Pour le deuxième semestre 2009–2010
- Responsable du cours de Logique pour les Sciences Humaines
en L3 MASS et MAECO (MAT29), avec Thomas Seiller
- page du cours
- Au bureau
- Bureau 234
- Bâtiment TPR2
- Campus de Luminy
- Par courrier
- Institut de mathématiques de Luminy
- 163 avenue de Luminy, case 907
- 13288 Marseille cedex 9, France
- Par téléphone
- Tél: (+33/0) 4 91 26 96 35
- Fax: (+33/0) 4 91 26 96 55
- En ligne
- Courriel:
vaux sur iml point univ-mrs point fr.
- Empreinte OpenPGP:
C997 8F33 A767 B6ED 68DD 87DB 081D 461E 76C8 1C16
- Jabber/XMPP:
lionel point vaux sur im point apinc point org.
Copinage
Si vous passez vers Malaucène (84), faites donc un tour à la
Galerie Martagon…