pieter-bos Goto Github PK
Name: Pieter
Type: User
Company: University of Twente
Bio: Scientific Programmer with the VerCors project // Interested in Software Correctness, Formal Methods, Compilers and Language Design
Location: Enschede, Netherlands
Blog: https://pieterbos.me/