Arnoud van der Leer

Mathematician, Computer Scientist. Interested and educated in formal methods and pure math (Algebraic Geometry, specialized towards Number Theory).