Recherche sur l'interprétation abstraite /
Research on Abstract Interpretation :

Prof. Patrick COUSOT

Introduction :  français  english

Thèmes de recherche / Research Interests 

Membres de l'équipe / Members of the group

Participation à des projets de recherche et rapports correspondants (projets terminés)/ Participation to research projects and corresponding research reports (terminated projects)

Publications :

Most cited authors in Computer Science

Editorial boards and steering committees

Rapport d'activité / Quadriennal activity report

Logiciels d'interprétation abstraite / Abstract Interpretation Software Packages

Industrialisation de l'interprétation abstraite / Industrialization of abstract interpretation

Séminaire "Sémantique et Interprétation Abstraite" / Seminar "Semantics and Abstract Interpretation"

Groupe de travail "Sémantique et Interprétation Abstraite" / Working group "Semantics and Abstract Interpretation"

IFIP Working Group 2.3 (Programming Methodology)

Visites / Visits

Cours d'interprétation abstraite / Abstract interpretation courses

Participation à des jurys de théses et d'habilitation à diriger des recherches / Participation to Ph.D. committees

Distinctions / Honors


Last modified: Saturday, 02-Jan-2010 15:56:15 CET