Code writer, sometime Internet enthusiast, attractive nuisance.
1B41 8F2C 23DE DD9C 807E A74F 841B 3DAE 25AE 721B
Vancouver
British Columbia
Canada
vegan
Published July 28, 2017. Tags: computer-science, math, formal-methods.
Published February 17, 2017. Tags: computer-science, formal-methods.
Published February 4, 2017. Tags: computer-science, formal-methods, paper-review.
Published January 7, 2017. Tags: computer-science, formal-methods, math.
Published July 2, 2016. Tags: computer-science, formal-methods, oplss.
Published March 13, 2016. Tags: computer-science, formal-methods, personal, oplss.
