Beyond Termination
Abstract
So we can prove program termination. Now what? In this talk I will discuss the development of tools that build on termination proving techniques.
Bio
Prof. Dr. Byron Cook is Principal Researcher at Microsoft Research, and Professor at University College London. Byron has worked in the past on Haskell, hardware modelling and verification, biological systems modelling and verification SAT/SMT, symbolic software model checking, temporal logics, and termination proving.
This talk is organized by Mike Hicks