I've been programming since middle school, took an interest in programming languages and paradigms; I do em all. Eventually fell in love with Haskell as my main bae. I'm good at pure functional programming and its design patterns, and PL stuff––parsing, compiling, DSL design, virtual machines, type checking, etc.
I worked at Google on Chrome developer infrastucture, for BAE on a formally verified hardware/OS/PL/web stack called CRASH/SAFE, OpusModus algorithmic music tool, Anygma GmbH on an FRP-based game development toolkit. I have some neat github projects, check em out.
This user hasn’t posted yet.