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 logic and theorem provers, type theory, functional programming, algebra and category theory, programming language semantics, ...

Read more in my CV.

I also enjoy Neovim, Linux, reading books, writing poetry, and playing board games (my collection).