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.