Walter Schulze

Software Engineer

Developer of katydid, gogoprotobuf, goderive, gographviz, erlfmt and lots of other even more embarrassing open source projects. Now I am learning how to prove code is correct using Coq and Lean. 

Days
Hours
Minutes
Seconds

sign up

Hear all the news about ScotSoft and keep up to date with what’s going on in the Scottish digital ecosystem

Days
Hours
Minutes
Seconds

latest news

scotsoft2023

Find out everything you need to know about ScotSoft and the digital ecosystem in Scotland, once a week, straight to your inbox