Pieter Bos
pieter-bos
Formal Verification Engineer @ QBayLogic // Interested in Software Correctness, Formal Methods, Compilers and Language Design
QBayLogic Enschede, Netherlands
Martijn Hoogesteger
Tijnoz
Sadly, most of my work is either internal or in private repo's.
S-RM Amersfoort
Auke Bakker
aacoba
Software Engineer @bolcom.
Currently primarily working with Go and Federated GraphQL
@bolcom Utrecht, The Netherlands

