Pieter Bos
pieter-bos
Formal Verification Engineer @ QBayLogic // Interested in Software Correctness, Formal Methods, Compilers and Language Design
QBayLogic Enschede, Netherlands
Sophie Lathouwers
Sophietje
Scientist Innovator @ TNO,
PhD in Software Verification
TNO the Netherlands