Patrick Cousot
Videos
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
December 2007
Radhia Cousot
Videos
Radhia Cousot, née Rezig was a French computer scientist known for inventing abstract interpretation. Her 1985 doctoral thesis advanced the semantics, proof, and static analysis methods for concurrent
Patrick Cousot
…Scientist at the French National Center for Scientific Research (CNRS) at the Joseph Fourier University, Grenoble, France. Together with his wife Radhia Cousot (1947–2014), Patrick Cousot is the originator of abstract interpretation, an influential technique in formal methods. In the 2000s, he has worked on…
Radhia Cousot Picture