Code writer, sometime Internet enthusiast, attractive nuisance.
1B41 8F2C 23DE DD9C 807E A74F 841B 3DAE 25AE 721B
Vancouver
British Columbia
Canada
vegan
Published February 4, 2017. Tags: computer-science, formal-methods, paper-review.
Published May 21, 2016. Tags: computer-science, security, paper-review.
Published February 8, 2015. Tags: computer-science, lisp, racket, paper-review.