Theories of Programming The Life and Works of Tony Hoare

Cliff Jones is Emeritus Professor of Computing (and now employed as Senior Research Investigator) at Newcastle University (UK). His doctorate from Oxford under Tony Hoare's supervision marked a transition from 15 years at IBM to a chair at Manchester University. As well as his main research in concurrency, he has a strong interest in the history of computing.

Jayadev Misra is the Schlumberger Centennial Chair Emeritus and University Distinguished Teaching Professor Emeritus at the University of Texas at Austin. His research interests are in formal methods related to concurrency, which has brought him in contact with Sir Tony Hoare for over four decades. He joined Tony in the Verified Software Initiative (VSI) project since its inception, and continues to participate in it fully.