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
~7k
people reached
-
Cambridge, MA, United States
-
Member for 5 years, 1 month
-
16 profile views
-
Last seen Jun 24 '19 at 4:01
Communities (9)
Top network posts
Badges (17)
Gold
—
Silver
3
Rarest
-
Jan 31 '17