Job Plans I will be working at the University of Maryland with Mike Hicks starting in January. Looking forward to it. They have a great group there. Back I am now back in Pittsburgh and working on my thesis and a POPL submission or two. I am also looking for jobs, so if you're hiring, please see my resume. Off to Cambridge I am currently in Cambridge, UK at MSR. If you're in Europe and want to talk about separation logic, numeric abstractions for heap programs, or verification in general, send me an email. I'll be around until the end of April.