معرفی
Xavier Rival is a Research Director at INRIA Paris and Adjunct Professor at École Normale Supérieure (ENS) PSL. He serves as Director of the Computer Science Department at ENS, leading a CNRS/ENS/PSL/INRIA laboratory. Previously, he was head of the ANTIQUE (ANalyse staTIQUE) research group at INRIA Paris/DIENS from 2014 to 2024. His academic roles include:
- Adjunct Professor in Computer Science (ENS/PSL)
- Director of Computer Science Department at ENS
- Principal Investigator (PI) of the VeriAMOS ANR Project
Education & Academic Background
While specific education details are not explicitly stated, his long-term involvement in academic research and leadership roles at ENS/PSL and INRIA indicates a strong academic foundation in computer science and formal methods.
Research Interests
Rival's work focuses on static analysis and abstract interpretation, particularly in:
- Verification of semantic program properties
- Probabilistic program analysis
- Safety-critical embedded software verification (via the Astrée project)
- Static analysis of spreadsheet and JavaScript applications
- Software reliability in safety-critical systems
Teaching
He contributes to:
- Semantics and Applications to Verification course at ENS (taught with Jérôme Feret and Josselin Giet)
- Master Parisien de Recherche en Informatique (MPRI) course on Abstract Interpretation
Projects & Labs
Key initiatives include:
- VeriAMOS (ANR Project): Focuses on verified OS services via Domain-Specific Languages (DSLs)
- Astrée project: Static analysis for safety-critical embedded software
- MemCAD (ERC Project): Static analysis of memory-constrained systems
۰مقاله منتشرشده
