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