POPL 2026
Sun 11 - Sat 17 January 2026 Rennes, France
Olivier Bouissou

Registered user since Thu 21 Nov 2024

Name:Olivier Bouissou
Country:United States
Affiliation:Amazon Web Services
Research interests:Formal verification

Contributions

Show activities from other conferences

Using general profile