معرفی
Évelyne Contejean is a researcher affiliated with CNRS, École Normale Supérieure Paris-Saclay (ENS Paris-Saclay), and Université Paris-Saclay. She actively contributes to academic conferences such as POPL and SPLASH, serving on program committees and publishing research in formal methods and programming languages. Her work bridges theoretical computer science with practical applications in software verification and database systems.
- Researcher at CNRS, France
- Affiliated with ENS Paris-Saclay and Université Paris-Saclay
- Active participant in POPL 2024 (CPP track program committee)
Research Interests: Formal methods, programming languages, SQL-to-code translation, software verification, and database theory. Her recent work focuses on rigorous formalization of database operations using proof assistants like Coq.
Publications & Contributions: 2023 SPLASH/OOPSLA paper on SQL-to-imperative-code translation in Coq.
Contact: Email: evelyne.contejean@ens-paris-saclay.fr
