Researcher portraits, Research
Évelyne Contejean: Avoiding computer bugs
… Inria) . She specialises in automatic demonstration and proof assistants. This field of computer science … in 1984. There, she continued her university career while preparing for the 'agrégation' (a teaching … compiler Today, Évelyne Contejean is working on the development of a verified compiler for SQL (Structured Query …Published on: Thu 10/11/2022 - 15:47