Projects: facebook/fbthrift, gogoprotobuf, goderive, erlfmt. Interests: LeanProver, Coq, Brzozowski's derivatives. 436 followers · 228 following.

Read writing from Walter Schulze on Medium. Golang, Haskell, Functional Programming, Interactive Theorem Proving, Automata and Music Programming.

Software builder that talks about LeanProver, Coq, Golang, Haskell, Functional Programming, Computer Science, Regular Expressions, Dependent Types and Proof ...

175 Followers, 218 Following, 25 Posts - Walter Schulze (@awalterschulze) on Instagram: "Recently moved to the English country side and appreciating nature"

“Walter Schulze completed his MSc under my supervision at the end of 2009, focusing on algorithmic music composition using Machine Learning techniques, and ...

With this website Bertina Schulze-Mittendorff would like to make the life and works of her father Walter Schulze-Mittendorff, the sculptor and artist who ...

Walter Schulze-Thewis (German 19th Century) gilt bronze sculpture, Athena, circa 1900. The sculpture depicts the goddess Athena sitting on a rock.

Walter Schulze · Sessionize Talks Slides · YouTube Videos Twitch · Medium Blog · Github Projects · Soundcloud Music · Learnings. The Little Typer Exercises Coq ...

View Walter Schulze-Thewis's biographical information, upcoming artworks at auction, and sale prices from our price archives. Click to learn more.