I'm a software developer at RA Consulting. In my professional life I mostly do Java and C#. Outside of work I'm writing Haskell, Agda, Scala, and Scheme.