Mathematics

Title: Never pure and rarely linear: Unraveling the patterns and dynamics of inherited retinal degenerations with mathematical models

Abstract: "Blindness is seldom a binary condition. This is true even of forms of vision loss that arise through genetic mutations. Rather, blindness varies by pattern and by degree. For example, mutations in some genes typically cause loss in peripheral vision, while other genes typically cause loss of central vision. Stargardt disease, caused by mutations in the...

Title: Proofs and Programs

Abstract:

The Curry-Howard correspondence is one of (if not the) most significant foundational result in the study of programming languages and logics.

At its most fundamental, the Curry-Howard correspondence describes a deep connection between (predicative intuitionistic) logic with (simply-typed functional) programming: logical propositions are types, proofs of those propositions are functions inhabiting those types, and simplification of those proofs is evaluation of...

Speaker: Lihe Wang, Department of Mathematics