Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Évelyne Contejean

Évelyne Contejean

Chargée de recherche au CNRS.
Membre de l'équipe Démons du LRI.
Membre du projet Proval du PCRI, commun au LRI/Université Paris-Sud-CNRS et à l'INRIA Futurs.

Téléphone	:	01 72 92 59 96
Fax	:	01 74 85 42 29
Bureau/ Room	:	103, bât. N
Adresse	:	CNRS / INRIA Futurs - PROVAL
		Parc Club Orsay Université, bâtiment N
		4, rue Jacques Monod, F-91893 Orsay cedex
Mél	:	Evelyne.Contejean[at]lri[dot]fr
Web	:	www.lri.fr/∼contejea

CV (en français)

Recherche

Publications

Projet A3PAT

UNIF07, un atelier satellite de RTA07 et TLCA07 (RDP07).

Logiciels

CiME : une boîte à outils pour la démonstration automatique.

Coccinelle : une libraire Coq pour modéliser la réécriture.

Ergo : un petit démonstrateur automatique dedié à la preuve de programme.

Enseignement

Année 2007/2008 : Démonstration automatique au MPRI. Ici, une version provisoire du polycopié du cours.

Clef gpg : 4006 7081 DFA4 161A 30AB 7F47 74A9 16A6 4221 A547

This document was translated from L^AT_EX by H^EV^EA.