I'm an EECS major at Berkeley with a particular interest in programming languages, program synthesis, functional programming, type theory and static analysis.

I spent some time at the Berkeley ParLab working on program synthesis, using Racket and Haskell. I'm currently an intern at Jane Street Capital, using OCaml.

I also really like startups and have now worked at three. Unfortunately, none used Haskell, but Ashima Arts did use OCaml. Pretty close.