510
reputation
2
1

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 3 years, 11 months
  • 0 profile views
  • Last seen Aug 28 '16 at 23:25