![Bruce Collie](https://conf.researchr.org/getProfileImage/brucecollie/6f4bcc63-08dd-4504-b7fd-b85bed4e876a/small.jpg?1711607468000)
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