معرفی
Quentin Canu is a researcher affiliated with Inria and École Polytechnique. He presented a paper titled 'A Formal Disproof of Hirsch Conjecture' at the CPP track of POPL 2023, indicating his expertise in formal methods and proof theory.
His research focuses on theoretical computer science, particularly formal verification and logic in computer science. His work at the intersection of discrete mathematics and computational logic highlights his contributions to rigorous proof systems and algorithmic analysis.
۰مقاله منتشرشده
