ivcha
Phd student in Computer Science at CSAIL, MIT. My interests include programming languages, language design, formal methods and software verification.
11
answers
0
questions
~5k
people reached
-
Cambridge, MA, United States
-
Member for 3 years, 11 months
-
12 profile views
-
Last seen Jun 24 at 4:01