Johan

3,299
reputation
6
19
24

Compiler developer with a background in formal methods.