Jason Gross Graduate Student Email jgross@mit.edu Room 32-G890 Last updated Mar 31 '21 Projects Project Compilation Using Correct-by-Construction Program Synthesis We're using proof assistants to build correct, extensible compilers, by rephrasing compilation in terms of producing mathematical proofs. Adam Chlipala Leads Adam Chlipala Research Areas Programming Languages & Software Engineering Adam Chlipala
Project Compilation Using Correct-by-Construction Program Synthesis We're using proof assistants to build correct, extensible compilers, by rephrasing compilation in terms of producing mathematical proofs. Adam Chlipala Leads Adam Chlipala Research Areas Programming Languages & Software Engineering Adam Chlipala
