Johan

3,667
reputation
6
20
25

Compiler developer with a background in formal methods.