Elliot Bobrow

Contact

Email: ebobrow@g.hmc.edu
Github: ebobrow

About Me

I am a third-year student at Harvery Mudd College joint majoring in computer science and math. Broadly, I'm interested in pure math and programming language theory. More specifically, I'm into type theory, semantics, algebra and category theory, realizability theory, and whatever else catches my attention. I have a blog where I ramble about these things.