I’m an undergraduate senior studying computer science at Cornell. My research interests are in theoretical computer science, especially logic and programming languages.
Outside of CS, I enjoy playing bass guitar, skateboarding, playing Bethesda games, and watching New York sports.
Some other stuff I’m up to right now:
- Teaching: Head TA for CS 3110 and TA for EAS 1540.
- Research: Working with Dexter Kozen to add tests to probabilistic multiset semantics, and occasionally contributing to raig with the Capra research group.
Feel free to email me at mbg237@cornell.edu.
