Personal projects
View allLoading
Loading
About
Pronouns: he/him
Formal methods, distributed systems, quantum computing. Independent software engineering contractor. TLA+ enthusiast & Canadian!
Info
Software Engineering Consultant at Disjunctive Consulting LLC
Atlanta, Georgia
4:06 AM
Member since June 07, 2018