Patrick Cousot
Ecole Normale Superieure, Paris, France

Patrick Cousot is Professor of Computer Science at Ecole Normale
Superieure, Paris, France, where he chairs the department's educational
programme, and leads the Abstract Interpretation and Semantics research
group.  Professor Cousot is a renowned authority on static analysis and
semantics, and the inventor of the analysis framework known as "abstract
interpretation".