ivcha
Phd student in Computer Science at CSAIL, MIT. My interests include programming languages, language design, formal methods and software verification.
-
Cambridge, MA, United States
-
Member for 5 years, 4 months
-
18 profile views
-
Last seen Jun 24 '19 at 4:01
Communities (9)
Top network posts
Badges (17)
Gold
Silver
Rarest
-
Jan 31 '17