Name:Richard A. Eisenberg

Bio:

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).

Country:United States

Affiliation:Bryn Mawr College

Research interests:Programming Languages, Dependent Types