Byron Cook
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
Newer Posts
Older Posts
Home
Subscribe to:
Posts (Atom)