Research Interests

Stuff that keeps me up at night

  • Programming Language Theory
  • Compilers and Theory of Computation
  • Type Theory
  • Category Theory
  • Formal Logic
  • Haskell, Rust, and marrying the two with better FFI integration.

Research papers and Blog posts I really like