I am involved in Perry Alexander's work on the Rosetta Specification Language. Rosetta is a high-level modeling language for specifying heterogeneous models. I am involved in developing analysis tools for Rosetta; Haskell is our primary implementation language.
I've been organizing the Functional Programming Reading Group at ITTC. We meet weekly to discuss topics in functional programming. I'm co-chair of the grocery shopping subcommittee of the group.