Chantal Berline
 

  Chargée de Recherche au  CNRS

 Laboratoire PPS (UMR 7126 )

« Preuves Programmes Systèmes »

• Adresses (postale et bureau).

• e-mail: berline@pps.jussieu.fr

• tel.  (33) 1 44 27 53 05

• fax.  (33) 1 44 27 61 48

Domaines de recherche

Logique mathématique et Fondements de l'Informatique:

Le Lambda-calcul, ses modèles et le treillis des lambda-theories,
Théorie des modèles et algèbre, Théorie des ensembles, Fondations.

Publications

Liste complète

Cours
Cours de lambda-calcul et compléments.
Tutorials and notes.

Directions de thèses (PhD's)
Les thèses de: Y. Jiang, R. Kerth, X. Gouy, O. Bastonero, T. Vallée, G. Manzonetto,
et certaines de leurs publications.

Anciennement:
- Responsable du M2 LMFI de l'Université Paris 7 (Mars 2004 -Juillet 2007).

(Master 2 de Logique Mathématique et Fondements de l'Informatique).

• Membre de l'Equipe de Logique de Paris 7 jusqu'en Oct. 2000.