BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A Survey of Classical and Real-Time Verification - Joel Ouaknine\,
  Oxford University Computing Laboratory
DTSTART:20101020T131500Z
DTEND:20101020T141500Z
UID:TALK26386@talks.cam.ac.uk
CONTACT:Stephen Clark
DESCRIPTION:I will survey the classical\, real-time\, and time-bounded the
 ories of\nverification\, highlighting key differences and similarities amo
 ng them\,\nand giving an overview presentation of the solution to a longst
 anding open\nproblem in the field.\n\nThis is joint work with Alex Rabinov
 ich and James Worrell.\n\nJoel Ouaknine is a tenured Reader [roughly equiv
 alent to Associate Professor in North America] in Computer Science at Oxfo
 rd University\, and a Fellow of St John's College. He holds a B.Sc. and M.
 Sc. in Mathematics from McGill University\, and received his Ph.D. in Comp
 uter Science from Oxford in 2001. He subsequently did postdoctoral work at
  Tulane University and Carnegie Mellon University. In 2009 he was awarded 
 an EPSRC Leadership Fellowship\, which relieves him of teaching and admini
 strative duties for a period of five years\, and the following year he rec
 eived the Roger Needham Award\, given annually "for a distinguished resear
 ch contribution in Computer Science by a UK-based researcher within ten ye
 ars of his or her PhD." His research interests include real-time and proba
 bilistic systems\, verification (especially software model checking)\, con
 currency\, logic\, and automata theory. 
LOCATION:Lecture Theatre 1\, Computer Laboratory
END:VEVENT
END:VCALENDAR