Back to people Benjamin Sherman Graduate Student Contact Me Projects Research Groups Contact Me Email sherman@csail.mit.edu Personal website Last updated Apr 20 '20 Email sherman@csail.mit.edu Research Areas Programming Languages & Software Engineering Projects Project Programming with spaces Programming Systems Group We are building a programming language for manipulating topological spaces (such as real numbers or probability distributions) in a sound manner, where all functions are continuous. Benjamin Sherman Leads Benjamin Sherman Research Areas Programming Languages & Software Engineering Benjamin Sherman Groups Research Group Programming Systems Group Investigating the semantics, design, and implementation of programming systems (programming languages, compilers, and runtime systems). +1 Michael Carbin Leads Michael Carbin Research Areas Programming Languages & Software Engineering Lead Michael Carbin +1 Michael Carbin Research Group Programming Languages & Verification Mission: improve the software development process by replacing ugly development techniques with beautiful ones Secret weapon: applied mathematical logic, including computer theorem proving (especially Coq) and type systems +2 Adam Chlipala Leads Adam Chlipala Research Areas Programming Languages & Software Engineering Lead Adam Chlipala +2 Adam Chlipala
Project Programming with spaces Programming Systems Group We are building a programming language for manipulating topological spaces (such as real numbers or probability distributions) in a sound manner, where all functions are continuous. Benjamin Sherman Leads Benjamin Sherman Research Areas Programming Languages & Software Engineering Benjamin Sherman
Research Group Programming Systems Group Investigating the semantics, design, and implementation of programming systems (programming languages, compilers, and runtime systems). +1 Michael Carbin Leads Michael Carbin Research Areas Programming Languages & Software Engineering Lead Michael Carbin +1 Michael Carbin
Research Group Programming Languages & Verification Mission: improve the software development process by replacing ugly development techniques with beautiful ones Secret weapon: applied mathematical logic, including computer theorem proving (especially Coq) and type systems +2 Adam Chlipala Leads Adam Chlipala Research Areas Programming Languages & Software Engineering Lead Adam Chlipala +2 Adam Chlipala
