Lionel Vaux

MdC

Je suis maître de conférences en mathématiques à l'université d’Aix-Marseille depuis septembre 2009. J'ai rejoint l'équipe LDP de l'I2M (ex-IML) après une thèse de mathématiques dans cette équipe, suivie d'une année d'ATER en informatique à l'université de Savoie.

De septembre 2011 à août 2014, j’ai été directeur de l'IREM d'Aix-Marseille. Je continue à m’y occuper des stages Hippocampe en mathématiques.

J’organise le séminaire Logique et Interactions de l’I2M depuis septembre 2014.

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:

Mes articles sont disponibles sur ce site. 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.

Je participe régulièrement aux séminaires Chocola, des rencontres mensuelles organisées à l’ÉNS de Lyon sur la correspondance de Curry-Howard et les thèmes connexes.

Depuis l'été 2010, Emmanuel Beffara et moi mettons en place une gestion durable du tableau noir (et comme pour presque toute démarche de développement durable, c’est déjà un échec).

Projets

Je suis membre du groupe de travail Geocal du GDR Informatique Mathématique. Je suis également membre des projets Récré, Logoi, Loci et CoQuaS financés par l'ANR.

J’étais coordinateur du projet PEPS QuAND, financé par l’INS2I en 2010 et 2011, et membre du projet Choco financé par l’ANR (2007-2011).

Enseignement

Enseignements prévus au premier semestre 2014—2015

Parcours didactique du master de mathématiques de Marseille & master enseignement, éducation et formation (MEÉF)
J’interviens dans l’UE « actualité des mathématiques » qui est en partie mutualisée avec l’UE « approfondissements des mathématiques » du MEÉF.
Formation à l’enseignement de la spécialité Informatique et sciences du numérique
voir le site de la formation

Coordonnées

Au bureau
Bureau 234
Bâtiment TPR2
Campus de Luminy
Par courrier
Institut de mathématiques de Marseille, site 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 87
Fax: (+33/0) 4 91 26 96 55
En ligne
Courriel: lionel point vaux sur univ-amu point fr.
Empreinte OpenPGP: 03C0 9455 90F4 63C3 5E87 838C 4F30 DAA4 3C4B FB84.
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

Dernière mise à jour
le 30 janvier 2015.

XHTML et CSS valides?