*This hero image? That's not stock photography. That's a shot taken by a space balloon that I helped to launch.
I'm tremendously interested in the possibility of true Artificial Intelligence, love the complete internal consistency of well designed languages (like Python - and OCaml!), and am nowhere more at home than a hackathon.
Beyond that, I am a serial photographer, a budding audiophile, and a perpetual bathrobe-wearer-extraordinaire. I', currently coauthoring an introductory Logic textbook, work for a bank, audit classes in my free time, and TA Penn's introductory Logic course.