Patrick Cousot

PC

Patrick COUSOT

Professor of Computer Science
École normale supérieure, Paris

Short biography

Abstract interpretation

Informal introduction
Video presentation at Collège de France fran347円ais
Topics in abstract interpretation

Project-team

Publications: by year, themes, books edited (DBLP, Google scholar, Libra, ScientificCommons)
Talks
Schools
Projects
ASTRÉE & ASTRÉEA
Seminar
Committees

Invited talks & research schools

2th Tsinghua Software Day (TSD 2012), Tsinghua University, Beijing, China, March 15, 2012.
4th NASA Formal Methods Symposium (NFM 2012), Norfolk, Virginia, April 3-5, 2012.

Program committees

Verified Software: Theories, Tools and Experiments (VSTTE 2012), Philadelphia, USA, January 28-29, 2012.
Hybrid Systems: Computation and Control (HSCC 2012), Beijing, China, April 17-19, 2012.
19th Static Analysis Symposium (SAS), Deauville, France, September 11-13, 2012.
Hybrid Systems: Computation and Control (HSCC 2013), Philadelphia, PA, USA, April 9-11, 2013.

Le premier site d'avis professionnels fondé par mon fils Laurent Cousot.

Last modified : Friday, 29-Jul-2016 08:06:30 CEST

© Copyright Notice, Warrantly Disclaimer, Personnal data access, modification, rectification and deletion rights

No Junk Mail! Unsolicited promotion material and commercial or spam emails unwanted