Enseignants

Nom	Prénom	Statut	Mèl	Institution
Baptiste	Philippe	pcc	baptiste[at]lix.polytechnique.fr	LIX
Bhargavan	Karthikeyan	ch.ens	Karthikeyan.Bhargavan[at]inria.fr	INRIA
Bournez	Olivier	prof	bournez[at]lix.polytechnique.fr	LIX
Castelli-Aleardi	Luca	mdc	luca.castellialeardi[at]polytechnique.edu	LIX
Cervelle	Julien	ch.ens	julien.cervelle[at]univ-paris-est.fr	IGM
Chassignet	Philippe	mdc	chassignet[at]lix.polytechnique.fr	LIX
Clausen	Thomas	mdc	clausen[at]lix.polytechnique.fr	LIX
Cohen	Albert	pcc	Albert.Cohen[at]inria.fr	INRIA Futurs
Dabbous	Walid	pcc	dabbous[at]sophia.inria.fr	INRIA
Dürr	Christoph	ch.ens	durr[at]lix.polytechnique.fr	LIX
Enge	Andreas	ch.ens	andreas.enge[AT]math.u-bordeaux.fr	Bordeau1
Filliâtre	Jean-Christophe	ch.ens	Jean-Christophe.Filliatr[at]lri.fr	INRIA Futurs
Goubault	Eric	prof	eric.goubault[at]cea.fr	CEA
Jacquet	Philippe	pcc	jacquet[at]lix.polytechnique.fr	LIX
Keriven	Renaud	pcc	keriven[at]imagine.enpc.fr	ENPC
Krob	Daniel	prof	dk[at]lix.polytechnique.fr	LIX
Le Fessant	Fabrice	ch.ens	fabrice.le_fessant[at]inria.fr	INRIA Saclay
Lengrand	Stephane	ch.ens	lengrand[at]lix.polytechnique.fr	LIX
Liberti	Leo	pcc.ec	liberti[at]lix.polytechnique.fr	LIX
Magniez	Frédéric	pcc	lastname[at]lri.fr	LRI
Monniaux	David	pcc	david.monniaux[at]imag.fr	VERIMAG
Morain	Francois	prof	morain[at]lix.polytechnique.fr	LIX
Nielsen	Frank	prof	nielsen[at]lix.polytechnique.fr	LIX
Oudot	Steve	ch.ens	steve.oudot[at]inria.fr	INRIA Saclay
Pottier	Francois	pcc	francois.pottier[at]inria.fr	INRIA
Putot	Sylvie	ch.ens	sylvie.putot[at]cea.fr	LIX
Redon	Stéphane	ch.ens	stephane.redon[at]inria.fr	INRIA Nano-d
Rival	Xavier	ch.ens	rival[at]di.ens.fr	ENS Paris
Rossin	Dominique	pcc	rossin[at]lix.polytechnique.fr	LIX
Schaeffer	Gilles	pcc	schaeffer[at]lix.polytechnique.fr	LIX
Serre	Olivier	ch.ens	serre[at]liafa.jussieu.fr	LIAFA
Steyaert	Jean-Marc	pa	steyaert[at]lix.polytechnique.fr	LIX
Temam	Olivier	pcc	temam[at]lri.fr	LRI
Tillich	Jean-Pierre	pcc	jean-pierre.tillich[at]inria.fr	INRIA
Vazirgiannis	Michalis	pcc	mvazirg[at]lix.polytechnique.fr	LIX
Werner	Benjamin	pcc	benjamin.werner[at]inria.fr	LIX
Boespflug	Mathieu	moniteur	Mathieu.Boespflug[at]polytechnique.edu	LIX
Cohen	Cyril	moniteur	cohen[at]lix.polytechnique.fr	LIX
Gazeau	Ivan	moniteur	gazeau[at]lix.polytechnique.fr
Golden	Boris	moniteur	boris.golden[at]polytechnique.edu	LIX
Keller	Chantal	moniteur	keller[at]lix.polytechnique.fr	LIX
Lebreton	Romain	moniteur	lebreton[at]lix.polytechnique.fr	LIX
Mezzarobba	Marc	moniteur
Nowak	Thomas	moniteur	nowak[at]lix.polytechnique.fr	LIX
Quintin	Guillaume	moniteur.inria	guillaume.quintin[at]polytechnique.edu	LIX
Spiwack	Arnaud	moniteur	arnaud.spiwack[at]lix.polytechnique.fr	LIX