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.

No comments:

Post a Comment

Comments are moderated. I will try to get to them quickly. Off-topic or obscene comments, name-calling, and destructive criticism will all vanish into the void.

Disagree with me all you want, but keep it respectful towards me and everyone else.