conf.researchr.org / Richard A. Eisenberg
Registered user since Wed 20 Jan 2016
Name:Richard A. Eisenberg
Bio:
Software Engineer at Jane Street. I believe that clever application of theory can eliminate a great deal of programmer errors – specifically, I think fancy types and functional programming are the future. 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. My work now centers around improvements to OCaml’s type system to empower more performant programming – without sacrificing safety. In addition, I am a contributor to the Glasgow Haskell Compiler (GHC) and frequent collaborator on its type system and implementation.
Country:United States
Affiliation:Jane Street
Personal website: https://richarde.dev/
X (Twitter): https://x.com/RaeHaskell
GitHub: https://github.com/goldfirere
Research interests:Functional Programming Languages, Dependent Types
Contributions
2025
2024
ICFP
OCaml
WITS
2023
PLMW
2022
Haskell
PLDI
WITS
- Chair of Invisible arguments: language design (discussion) within the WITS 2022-track
- Organizer in Program Committee within the WITS 2022-track
- Session Chair of Session 5 (part of WITS 2022)
- Session Chair of Session 2 (part of WITS 2022)
- Session Chair of Session 3 (part of WITS 2022)
- Chair of Type-aware equational rewriting (discussion) within the WITS 2022-track
- Session Chair of Session 4 (part of WITS 2022)
- Session Chair of Session 1 (part of WITS 2022)