188
reputation
9

ivcha

Phd student in Computer Science at CSAIL, MIT. My interests include programming languages, language design, formal methods and software verification.

3
answers
0
questions
~688
people reached
  • Cambridge, MA, United States
  • Member for 4 years, 2 months
  • 0 profile views
  • Last seen Oct 3 '19 at 4:16

Top tags (5)

Score 4
Posts 1
Score 4
Posts 1
Score 2
Posts 1
Score 2
Posts 1
Score 1
Posts 1

Top posts (3)

Badges (9)

Gold

Silver

Bronze

9

Rarest