Code writer, sometime Internet enthusiast, attractive nuisance.
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.