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