Pieter Bos

https://pieterbos.me/ [email protected]

QBayLogic Enschede, Netherlands Formal Verification Engineer @ QBayLogic // Interested in Software Correctness, Formal Methods, Compilers and Language Design