Assistant Professor at Bryn Mawr College. I completed my PhD in 2016 at University of Pennsylvania working under Stephanie Weirich; my dissertation topic was the integration of dependent types into the Haskell programming language. I am a regular contributor to the Glasgow Haskell Compiler (GHC).
Thu 22 Aug
|16:50 - 17:20|
|17:20 - 17:50|
|17:50 - 18:00|
Richard A. EisenbergBryn Mawr College, USA