¶Who are you again?
I’ve been thinking about, and using, programming languages for a very long time. By day, I’m a software engineer at Astral, working on type checking and other developer tooling for Python. By night, I balance family life with figuring out how to understand and analyze ~every programming language under the sun, and hacking on my own language, like any good PL enthusiast would!
In the past I’ve been involved in low-level performance, reliability, and security analysis of network traffic. As part of that work, I was the co-editor of two draft W3C specifications:
I also have a consultancy, Walland Heavy Research, where I bridge the gap between academia and industry. I love finding ways to bring results and best practices from each community to the other. I help academics productionize their research prototypes, and I help software engineers learn about state-of-the-art techniques that make their software more performant, more correct, and easier to understand and maintain. If this sounds like something that I can help you with, please reach out!
¶Finding me
In addition to this content, you can find me at:
¶Disclaimer
All of the opinions expressed on this site are my own, and not those of my employer.