Matthew Fluet (http://www.cs.rit.edu/~mtf/) will be here on Friday, 2/10 for Jesse's defense. He'll have some time (not tons) for meeting with students or faculty during the rest of the day. If you're interested, please let me know and give me your scheduling constraints.