Jane Street
Based outside Philadelphia, PA, USA
rae at richarde.dev
Twitter: @RaeHaskell
GitHub: @goldfirere
(a.k.a. rae or goldfire or goldfirere on some sites)
I am a language designer and compiler engineer at Jane Street, where I work on improvements to the OCaml functional programming language. In addition, Jane Street supports my work on Haskell and its primary compiler, GHC. In both languages, my goal is to make these statically typed functional programming languages an excellent first choice of language for the implementation of enterprise systems.
My background is in functional programming and type systems research. My research aim is to reduce the occurrence of bugs in computer code through enhanced static checks. I am interested in type systems and how they can help a programmer to avoid logical fallacies and erroneous programs. In particular, I believe that clever use of dependent types can encourage a programmer to write only correct code. A long-term goal of mine is to bring dependent types to a wider audience, both into industry and into education. On a more basic level, I also love the formalisms and proofs involved in programming language research!
I completed my doctorate in 2016 at the University of Pennsylvania; my thesis advisor was Stephanie Weirich.
This source for this web site is public. Suggestions and improvements are welcome.