Registered user since Sat 22 Jan 2022
Name:Scott Moore
Country:United States
Affiliation:Galois, Inc.
Personal website:https://thinkmoore.net
Research interests:Security, Program Analysis
Contributions
| PriSC 2022 | Synthesizing Evidence of Emergent Computation Committee Member in Program Committee within the PriSC 2022-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2022-profile
View general profile
View general profile