Byron Cook, Ph.D.
Microsoft Research Cambridge and
University College London
Thursday, October 24, 2013
Over the past 10 years, new techniques have been developed that allow us to automatically prove termination (and other related liveness properties) of non-trivial programs. This lecture will describe my work on the TERMINATOR program termination/liveness prover and its application to industrial software as well as pharmaceutical research.
Dr. Byron Cook is a Principal Researcher at Microsoft Research in Cambridge, UK where he co-manages the Programming Principles and Tools group together with Andy Gordon. Byron is also Professor of Computer Science at University College London. Byron is one of the developers of the TERMINATOR program termination proving tool, as well as the SLAM software model checker. See research.microsoft.com/~bycook/ for more information.
Hosted by Bor-Yuh Evan Chang.