MIT computer science major, graduated 2015, interned at edX and Khan Academy. I created Oneliner-izer, a "compiler" which converts Python programs into one-liners, and I've written a Python library implementing retroactive data structures. I've also worked on creating educational games about organic chemistry, and on applying hardware verification techniques to study biological circuits. Currently, I'm working towards my MIT M.Eng., and taking this year as an opportunity to dive more deeply into programming language theory and program analysis. I am fond of lambda calculus, recursion, and elegant abstractions.
Tuesday 5:10 p.m.–5:40 p.m. in Portland Ballroom 252–253