Registered user since Thu 18 Jul 2019
Name:Bruce Collie
Country:United Kingdom
Affiliation:Runtime Verification, Inc.
Personal website: https://baltoli.github.io
X (Twitter): https://x.com/__inshorts
GitHub: https://github.com/baltoli
Research interests:Compilers, semantics, formal verification
Contributions
PLDI 2023-profile
View general profile
View general profile