Jason Chen

I'm currently a fourth-year undergrad at MIT studying math and CS, especially things in their intersection, like functional programming, category theory, and type theory.

Other things that I'm interested in are linguistics, LaTeX, singing, video games, customizing my computer, (Neo)vim, and Arch Linux.