Formal methods, distributed systems, quantum computing. Independent software engineering contractor. TLA+ enthusiast & Canadian!
