Friday, May 25, 2012
Speaker: Byron Cook
Venue: TU Vienna
Seminarraum Argentinierstrasse, Argentinierstrasse 8, ground floor, Room: EAEG06 from 11am
I will describe a new approach to the old problem of automatic temporal property verification. As well as leading to dramatic performance improvements over existing techniques, this approach also brings some light to a couple of age-old questions.
Bio: Dr. Byron Cook is a Principal Researcher at Microsoft Research Cambridge, as well as Professor of Computer Science at University College London. His research interests focus on formal verification, theorem proving, operating systems and biology. Byron is particularly well known for his work on the Terminator program termination prover as well as the SLAM software model checker.