PRECISE Seminar Series
PRECISE Seminar: Proving that programs eventually do something good
Thu, October 29, 2015 @ 2:00pm EDT
Levine Hall - Room 307
3330 Walnut Street
Philadelphia, PA 19104
Speaker
Byron Cook, Ph.D.
University College London
Abstract
In this talk I will discuss research advances that led to practical tools for automatically proving program termination and related properties, e.g. liveness. Practical applications include automatically proving device driver correctness, and pharmaceutical research.
Speaker Bio
Byron Cook is Professor of Computer Science at University College London. Byron is also a Senior Principal at Amazon. See http://www0.cs.ucl.ac.uk/staff/b.cook/ for more information.