510
reputation
3
14

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, 9 months
  • 11 profile views
  • Last seen Jun 24 at 4:01

Top tags (19)

Score 19
Posts 6
Posts % 55
Score 16
Posts 3
Score 15
Posts 5
Score 12
Posts 2
Score 12
Posts 2
Score 10
Posts 4

Top posts (11) All Questions Answers | Votes Newest

View all questions and answers

Badges (17)

Gold

Silver

3

Rarest

Bronze

14

Rarest