Jesse Michel Graduate Student Email jmmichel@mit.edu Last updated Aug 09 '20 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. Leads Research Areas Programming Languages & Software Engineering
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. Leads Research Areas Programming Languages & Software Engineering
