Walter Schulze
PhD Informatics Student
Stevenage, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolWalter Schulze is a versatile software engineer and PhD informatics student with 13 years’ experience building high-performance systems and developer tooling across Meta, WhatsApp, eBay and startups. He moves effortlessly between languages and domains—Go, Rust, Haskell, Erlang, Python and React—shipping open-source projects like erlfmt, gogoprotobuf and fbthrift used across communities. His research-driven hobby PhD formalizes a validation language (Katydid) based on Brzozowski derivatives that filters petabytes of nested data at high throughput, blending formal proof work in Coq/Lean with practical engineering. At Meta he led consolidation of Go thrift tooling, redesigned transports for streaming, and modernized test infrastructure while advocating pair programming and inclusive collaboration. He speaks regularly at conferences, maintains active GitHub work, creates technical content, and unusually combines production systems engineering with formal methods and developer experience. Based in Stevenage, UK, he thrives on solving tricky correctness and performance problems while mentoring teams and running sustainable intern and community programs.
13 years of coding experience
13 years of employment as a software developer
MSc, Computer Science, MSc, Computer Science at Stellenbosch University
English, Afrikaans
Stackoverflow
129reputation
850reached
0answers
5questions
Github Skills (170)
programming-language10
parser10
go-language10
go-framework10
high-availability10
http10
swagger10
proto10
category-theory10
dot-language10
rest-api10
microservices10
schema10
encoder10
protocol-buffers10
Programming languages (19)
Github contributions (5)
awalterschulze/blog
Aug 2017 - Aug 2022
Contributions:2 PRs, 109 pushes, 4 branches in 5 years 1 month
jekyllschulzewalter
awalterschulze/elmdemo
Feb 2018 - Jun 2022
Contributions:4 pushes, 3 branches in 4 years 4 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.