[talks] Talk- Byron Cook Tues, Oct 27, 10:30am

Nicole E. Wagenblast nwagenbl at CS.Princeton.EDU
Wed Oct 21 16:39:49 EDT 2015

Tuesday, Oct 27, 10:30am 
Computer Science 302 
Byron Cook, University College London 

Proving that programs eventually do something good 

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. 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.cs.princeton.edu/pipermail/talks/attachments/20151021/f35e6b6e/attachment.html>

More information about the talks mailing list