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
Congrats to Andrey Rybalchenko!
Andrey Rybalchenko was listed as one of MIT's selective set of 2010 Young Innovators Under 35 (TR34). Way to go Andrey!
Subscribe to:
Posts (Atom)