Pierre-Yves Strub - POPL 2023

Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States

Registered user since Thu 17 Dec 2015

Name:Pierre-Yves Strub

Country:France

Affiliation:Meta

Personal website: https://www.strub.nu/

Contributions

2023

POPL

CoqQ: Foundational Verification of Quantum Programs

CPP

A Formal Disproof of Hirsch Conjecture

Show activities from other conferences

POPL 2023-profile
View general profile