Patrick Cousot
|
Professeur d'informatique
Professor of Computer Science
|
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.
Patrick COUSOT
Département d'Informatique (DI)
École Normale Supérieure (ENS)
45 rue d'Ulm
75230 Paris Cedex 05
France
Métro/Metro: Luxembourg
Bureau / Office: S9, étage/floor -1 (Plan/Map)
Email:
cousot@ens.fr
or
Patrick.Cousot@ens.fr or
cousotp@acm.org
Tél. direct : 01 44 32 20 64 / 34 / Direct tlph : +33 1 44 32 20 64 / 34
Fax: +33 (0)1 44 32 21 52
URL: http://www.di.ens.fr/~cousot
PGP public key
© Droits d'auteur, © Copyright Notice
Sans Garantie, Warrantly Disclaimer
Exercice du droits d'accès, de modification, de rectification et de suppression des données personnelles / Personnal data access, modification, rectification and deletion rights
Publicités non sollicitées et courriers électroniques commerciaux refusés, Unsolicited promotion material and commercial or spam emails unwanted
Retour à / back to:
Index, Institutions, Enseignement / Teaching, Recherche / Research, Services,
  |
|
|
  external page accesses since 22-Nov-96. |
Dernière mise à jour / Last modified : |
|