Kinect

Here's a nice article on Kinect and the work at MSR-Cambridge behind it.

New papers

I've recently been working on approaches to automatically verify properties of biological models, as well as relooking at ways of proving temporal properties of programs. This research has resulted in some new papers:

• Making prophecies with decision predicates, with Eric Koskinen. This will appear
  at POPL'11
  
• Proving stabilization of biological systems, with Jasmin Fisher, Elzbieta Krepska, and Nir Piterman. This will appear at VMCAI'11