Experienced Scala/Haskell/Java developer. Was in academia 6 years ago, have now worked in various commercial roles.
Specialties: Scala development, Functional programming, Haskell development, Java development, Research, Proof assistants, Dependent types, Type theory