I am a Junior at Harvard, involved in HackHarvard and the Harvard/MIT Educational Studies Program. Currently, I research proof-checking software and programming languages. I also contribute to packages of the Meteor project and teach Meteor to other students.
I research how computer science research can make programming easier and more accessible. My personal and academic interests include education, mobile development, distributed systems, foundational mathematics, linguistics, philosophy, and music.
Reach out to me at rzurawicki at gmail dot com