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.
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.