Patrick COUSOT   Professeur d'informatique   Professor of Computer Science

• Curriculum Vitæ (short)

Interprétation Abstraite et Sémantique  Abstract Interpretation and Semantics

• Courte biographie/Short biography
• Équipe de recherche / research group: (introduction :   / , membres/members)
• Offre d'emploi/position available: Poste d'ingénieur de recherche en informatique
• Recherche / Research (introduction, thèmes / themes, publications / papers, exposés / talks, écoles / schools, séminaire SIA / SAI seminar, projets/projects, comités/committees)
• Enseignement / Teaching (livres / books, cours/courses, stages/interships, Diplôme de l'ENS/Computer Science studies at ENS, MPRI)
• Institutions
• Services (chercheurs / researchers, conférences / conferences)

Membre du comité de programme de conférences & écoles de chercheurs à venir / Program comittee member of forthcoming conferences & research schools :

• APLAS'06, Sydney, Australia, November 8-10, 2006
• ASIAN'06, Tokyo, Japan, December 6-8, 2006.
• POPL'07, Nice, France, January 17-19, 2007
• ESOP'07, Braga, Portugual, 26th - 30th March 2007.
• TOOLS-EUROPE 2007, ETH Zurich, Switzerland, 24-28 June 2007.

the web    my site

external page accesses since 22-Nov-96. Dernière mise à jour / Last modified :