Registered user since Tue 18 Aug 2020
Name:Olivier Savary Bélanger
Country:United States
Affiliation:Galois, Inc.
Personal website:https://galois.com/team/olivier-savary-belanger/
Contributions
| PriSC 2022 | Synthesizing Evidence of Emergent Computation | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2022-profile
View general profile
View general profile