معرفی
Évelyne Contejean is a faculty researcher affiliated with CNRS, École Normale Supérieure Paris-Saclay, and Université Paris-Saclay. Her work focuses on formal methods, programming languages, and software verification.
Her research bridges theoretical computer science and practical software development, emphasizing rigorous formalization and proof techniques. Recent contributions include work on SQL-to-imperative code translation within the Coq proof assistant.
No scientific awards or student advising information were explicitly mentioned in the provided texts.
۰مقاله منتشرشده
