software engineering / internet openness / natural language processing / type systems / media scholar / software engineers / formal systems / computational tools / web framework / software verification / /
Organization
MIT / Harvard / /
Person
Arvind / JEAN YANG / Ethan Zuckerman / Martin Rinard / Armando Solar-Lezama / /
Position
writer and activist / composer / computer scientist / professor / /
ProgrammingLanguage
Python / Java / Scala / /
Technology
functional programming / natural language processing / Java / /