UNIVERSITY AND RESEARCH - ABSTRACT INTERPRETATION

People

Radhia Cousot
Agostino Cortesi
Francesco Logozzo
Patrick Cousot

Concepts

What is abstract interpretation?
The Astree project
The PLM group at Microsoft research (I am a former intern)

Universities

Department of Computer Science of University of Venice
Ecole Polytechnique