Proving that programs eventually do something good
Date and Time
Tuesday, October 27, 2015 - 3:30pm to 4:30pm
Location
Computer Science 402
Type
Talk
Speaker
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.
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.
