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
Abstract interpretation and semantics, ENS/CNRS
Abstraction, INRIA, Paris Rocquencourt
fran347円ais
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.
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.
Contact at ENS
Web page at MIT
Web page at NYU
Le premier site d'avis professionnels
fondé par mon fils
Laurent Cousot
.
Site map
Contact information
Institutions
Short biography
Honors
Teaching
Books
Lectures
Abstract interpretation
Compilation
Parallel computing
Semantics
Operating systems and networks
Student projects and internships
The Astrée static analyzer for synchronous programs
The AstréeA static analyzer for asynchronous programs
Research
Publications
Talks
Summer/winter schools
Seminar
Research projects
DAEDALUS
AI Industrialization
Services
Bibliography
Conferences
Researchers
Web search
OzTeX utilities
Personnal
 
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
AltStyle
によって変換されたページ
(->オリジナル)
/
アドレス:
モード:
デフォルト
音声ブラウザ
ルビ付き
配色反転
文字拡大
モバイル