I am a third year graduate student working with Dan Grossman in the WASP group at the University of Washington. I am interested in the design of programming languages, especially strongly typed functional languages. Currently I am working on understanding the relationship between software transactional memory and modules.
Recently, I finished work on transactional events, a series powerful primitives for communication between threads. Information on this project, including the ICFP '08 paper describing it, is available here.
Previously I worked with Jonathan Aldrich at Carnegie Mellon on Ego. I was also involved with the ConCert Project.
I can be reached at an address that is subtly different from mkehrtHATESSPAM@cs.washingtonALSOHATESSPAM.edu. My personal website is available here.