Patrick Cousot

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
Patrick Cousot

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: (informal) introduction to abstract interpretation : $fran\347ais$ / , membres/members, Équipe-projet/Project-team Abstraction, INRIA, Paris-Rocquencourt)
Recherche / Research (introduction, thèmes / themes, publications / papers, exposés / talks, écoles / schools, séminaire SIA / SAI seminar, projets/projects, ASTRÉE, comités/committees)
Enseignement / Teaching (livres / books, cours/courses, Diplôme de l'ENS/Computer Science studies at ENS, MPRI)

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

10th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2009), Savannah, GA, USA, January 18-20, 2009.
12th International Conference on Hybrid Systems: Computation and Control (HSCC'09), San Francisco, April 15-17, 2009.
Structural Operational Semantics (SOS 2009), Bologna, Italy, August 31, 2009.
14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009), Eindhoven, The Netherlands, November 2-3, 2009.
7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009), Hanoi, Vietnam, November 23-27, 2009.
11th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2010), Madrid, Spain, January 17-19, 2010.
19th European Symposium on Programming (ESOP 2010), Paphos, Cyprus, March 22-26, 2010.

Patrick COUSOT
Département d'Informatique (DI)
École Normale Supérieure (ENS)
45 rue d'Ulm
75230 Paris Cedex 05
France
Métro/Metro route finder: Luxembourg
Bureau / Office: S9, étage/floor -1 (Plan/Map)
Email: Patrick [.]

Cousot

ens

fr
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
No Junk Mail!

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,

  the web    my site


counter   external page accesses since 22-Nov-96.

Dernière mise à jour / Last modified : Saturday, 04-Jul-2009 16:55:40 CEST

Professeur d'informatique Professor of Computer Science

Professeur d'informatique
Professor of Computer Science