Saturday, June 4, 2011

Summer Research: Transactional Events (and other summer stuff)

I'm in Rochester for the summer, primarily to do research with Matthew Fluet on Transactional Events. I'll be working on Dr. Fluet's implementation of Transactional Events (TxEvents) in Haskell.

I'll also be working with Intervarsity Christian Fellowship over the summer. I'm hoping to perhaps lead a "GIG" ("Group Investigating God") this summer, certainly in the fall. I'll also be working with the IV staff to explore our resources for outreach.

Hopefully I'll get to go to a baseball game in or two this summer. I'd like to make a trip to Cincinnati to finally see my Reds play at home, but who knows.