Consultant @testdouble, formerly @google and @thoughtbot. Enthusiastic about PLT, distributed systems, education, Ruby, Lisp, and formal verification.
- Vancouver, BC
Search results
0 open and 0 closed projects found.-
There aren't any projects yet