I'm a software engineer and I like solving hard problems, especially using functional languages and pure math. Math+CS double major at Haverford College. I've worked with blockchain/crypto, consensus algorithms, linear types in Haskell, and polyhedral optimization (high performance computing).