Pierre-Yves Strub
where else to find them
no profile links on file
what they talk about
where they keep going back
- CPP2 editions2022–2023
on a stage with
- Benjamin Werneronce
- Gilles Bartheonce
- Junyi Liuonce
all 8 in the filters
who talks about the same things
- Gilles Barthe17 talks
- Benjamin Gregoire6 talks
- Joost-Pieter Katoen14 talks
- Mingsheng Ying9 talks
- Benjamin Lucien Kaminski14 talks
- Li Zhou9 talks
| title | conference | date |
|---|---|---|
| A Formal Disproof of Hirsch Conjecture | CPP 2023 | 2023-01-16 |
Claims a machine-checked counterexample to the Hirsch Conjecture: an explicit polytope whose graph diameter violates the Hirsch bound. Uses a formal proof… | ||
| CoqQ: Foundational Verification of Quantum Programs | POPL 2023 | 2023-01-15 |
CoqQ is a Coq framework that formalizes a quantum language, proves a program logic sound with respect to a denotational semantics built on MathComp and… | ||
| A Drag-and-Drop Proof Tactic | CPP 2022 | 2022-01-17 |
A browser-playable prototype called Actima prototype implements drag-and-drop proof steps backed by deep inference and subformula linking, claiming… | ||
| nothing matches | ||