All settled in at CMU

For the past week I’ve been settling in at CMU. I’m teaching a graduate course on termination (and writing some companion lecture notes). I've been meeting with the many smart professors/students/researchers. I'm also working on several papers.

For the first few days I stayed in John Reynolds’ amazing house. Then I found my own place. The neighbourhoods here are great, and the houses are HUGE by my UK/Seattle standards.

I have a great office which rivals the office I have at MSR-Cambridge, with a great view!