Elliot Bobrow

Contact

About Me

I am a sophomore 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, formal verification...

Read more in my resume.

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