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

Short biography

Abstract interpretation

• Informal introduction
• Video presentation at Collège de France   
• Topics in abstract interpretation

Project-team

• Abstract interpretation and semantics, ENS/CNRS
• Abstraction, INRIA, Paris Rocquencourt   
• Members

Research

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

Teaching

• Books
• Courses

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.

• 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.

Contact at ENS

• Web page at MIT
• Web page at NYU

		Last modified : Friday, 29-Jul-2016 08:06:30 CEST © Copyright Notice, Warrantly Disclaimer, Personnal data access, modification, rectification and deletion rights
		Unsolicited promotion material and commercial or spam emails unwanted