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
• Seminar
• Committees

Teaching

• Books
• Courses

Program committees & research schools

• 11th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2010), Madrid, Spain, January 17-19, 2010.
• 19th European Symposium on Programming (ESOP 2010), Paphos, Cyprus, March 22-26, 2010.
• Workshop on the Grand Challenge in Verified Software (GCVS 2010 ), Edinburgh, UK, July 14, 2010.
• 12th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2011), Austin, TX, USA, January 23-25, 2011.
• 14th ACM International Conference on Hybrid Systems (HSCC 2011), Chicago, IL, USA, April 11-14, 2011.
• ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2011 ERC) , San Jose, CA, USA, June 4-8, 2011.

Contact at ENS

• Web page at MIT
• Web page at NYU

		Last modified : Friday, 23-Jul-2010 02:36:26 CEST © Copyright Notice, Warrantly Disclaimer, Personnal data access, modification, rectification and deletion rights
		Unsolicited promotion material and commercial or spam emails unwanted