Splash Biography
THOMAS PORTER, Cornell senior studying computer science and math.
Major: CS and Math College/Employer: Cornell Year of Graduation: 2022 

Brief Biographical Sketch:
Not Available. Past Classes(Clicking a class title will bring you to the course's section of the corresponding course catalog)M765: A Rapid Introduction to Type Theory in Splash Fall 2022 (Nov. 12, 2022)
This will be a lecture attempting to teach basic type theory, emphasizing the shared structure between collections (as in set theory) and propositions (as in logic). I will begin with the main idea and utility of type theory, then dive into inference rules, intuitionistic sequent calculus, typing rules, computation rules, and the propositions as types interpretation. If time allows, we can talk about dependent types and/or inductive types.
