Radhia Cousot
CNRS & École Normale Supérieure
|
|
- Research
Abstract Interpretation is a theory of sound approximation of mathematical structures, in particular those involved in the semantic models of computer systems and its applications to the systematic construction of methods and effective algorithms to approximate undecidable or very complex problems in various areas of computer science (e.g. semantics, verification and proof, model-checking, static analysis, program transformation and optimization, typing, software steganography, computational biology, etc.). Its current main industrial application is on the safety and security of complex hardware and software computer systems. Its latest emerging application is on the analysis of complex molecular networks in cellular signaling systems. - Publications & Software (Reverse chronological order) (Chronological order) (By topic) (Google scholar)
- Conferences Committees
- 40th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), January 23-25, 2013, Rome, Italy
- 5th NASA Formal Methods Symposium (NFM), May 13-16, 2013, NASA Ames Research Center, California, USA
- 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), January 22-24, 2012, Philadelphia, USA
Email: radhia
Address: École Normale Supérieure, 45 rue d'Ulm, 75230 Paris Cedex 05, France |