Volker Stolz
131
reputation
5
Into software engineering and formal methods. Ex-functional programmer.