I am a programmer that dabbles in PLT and HCI as well as robotics. I am familiar with a bunch of languages, my favorites being Haskell, Racket & Scheme, Python, Go, Coq and C++ more or less in that order.

I have recently taken an interest in compilers and am doing a lot of work with them recently.

Additionally I'm attempting to learn about formal proofs and program verification with Coq