conf.researchr.org / Bruce Collie
![Bruce Collie](https://conf.researchr.org/getProfileImage/brucecollie/f16b7423-e45d-46d7-bf0b-adcfbbd633ac/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