معرفی
Georges Gonthier is a researcher affiliated with Inria, France. He has been actively involved in the CPP (Certified Programs and Proofs) track of POPL (Principles of Programming Languages) conferences since 2019, serving on steering and program committees. His work aligns with formal verification, programming languages, and theoretical computer science, particularly through contributions to logical frameworks and software correctness. He has participated in workshops like CoqPL (Coq Programming Language) and LAFI (Logical Aspects of Tensor-Programs), bridging formal methods with emerging computational paradigms.
Notably, Gonthier chaired sessions focused on formalization of mathematics and computer algebra at CPP 2019. His ongoing roles in POPL committees (2021–2026) highlight sustained leadership in advancing formal methods research. While specific academic departments or schools are not disclosed, his affiliation with Inria underscores a focus on computational science and engineering.
