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.
