ProcrastiBlog

I'm going to be spending the next few months at Microsoft Research India in Bangalore, and I'll try to use that as an excuse to un-mothball the blog and keep people up-to-date on my cross-cultural hijinks. I'm not sure if I'm at liberty to divulge what I'll be working on, but you might be able to figure it out yourself if you look at the projects on the Rigorous Software Engineering group page and then look at the projects I've worked on on my home page. Hint: it's not Petri Nets. (Or is it? Proof of equivalence to follow.)