Patrick Cousot is a French computer scientist, currently Silver Professor of Computer Science at the Courant Institute of Mathematical Sciences, New York University, USA. Before he was Professor at th

The French National Centre for Scientific Research is the French state research organisation and is the largest public research body in Europe and the second largest research organisation in the world