Austin Seipp

I'm a young, employed software developer with varying interests - but these days, I'm mostly into functional programming, compilers, geometry, type theory, StarCraft, and vietnamese food. Most of my computational interests lie in making code and programming languages both safe and efficient.

Want to talk? We should get in touch and do so - life's too short not to!