Eric Koskinen

Welcome to Eric Koskinen, who just started his PhD at Cambridge University under the supervision of myself and Matthew Parkinson.

Professor Cook

Queen Mary, University of London has now appointed me as full professor of computer science. I'm not leaving Microsoft, of course, its a joint appointment with Microsoft Research.

methods of proving recursive programs terminating

I'll state this perhaps a bit too strongly (to make the point). Recursion, and program termination, are completely orthoginal issues. Check out our new paper: CFL-Termination. This paper shows you how (if you have an oracle for partial correctness semantics) you can convert recursive programs into semantically equiv. non-recursive programs without tricky encodings using heap or non-linear updates to arithmetic variables. Enjoy ;-)