Champion
Walter Schulze
Personal
Walter has worked and studied in South Africa, Amsterdam and London using languages such as Coq, Go, Haskell, Erlang and Elm.
He spends his free time doing a phd as a hobby, pair programming in Coq and competing with potatoes on couches.
Badges 3
Talks 1
- Devoxx UK 2022
Correct Code by Construction