Ryan Keleti

Hi! I'm a third year CS/Math major at Northeastern University. I'm interested in compilers, type systems, verification, and topology.

For some projects I'm working on, check out my github or git page. I also have infrequently updated posts.

email »
github » ryankeleti
git » git.keleti.dev