C. A. R. Hoare

C. A. R. Hoare

male, 75 years old
Microsoft Research, Honorary Fellow of Merton College, Oxford, Erdős number 3, Charles Antony Richard Hoare, sorting algorithm, Academic of Queen's University Belfast…Communicatingsequentialprocesses
Sir Charles Antony Richard Hoare (Tony Hoare or C.A.R. Hoare, born January 11, 1934) is a British computer scientist, probably best known for the...

Bill Roscoe

male
professor, Sir Tony Hoare, Computing Science, Prof. A. W. "Bill" Roscoe, Occam programming language, Failures-Divergence Refinement…Communicatingsequentialprocesses
Prof. A. W. "Bill" Roscoe is Director of Oxford University Computing Laboratory and a Professor of Computing Science. He is also a Fellow of...

Jim Woodcock

male
Alumni of the University of Liverpool, PhD, Fellow of Kellogg College, Oxford, concurrency, Communicatingsequentialprocesses, Oxford University Computing Laboratory
Professor Jim C. P. Woodcock FRSA FBCS is a British computer scientist. Woocock gained his PhD from the University of Liverpool. Until 2001 he was...

Michael J. Butler

male
MSc, Trinity College, Dublin, Alumni of Trinity College, Dublin, Formal methods, Academic of the University of Southampton, Communicatingsequentialprocesses
Michael J. Butler is Professor of Computer Science at the University of Southampton, UK. Butler was originally from Ireland and received his...
Mike Reed

Mike Reed

male
Oxford University, St Edmund Hall, Oxford, Alumni of the University of Oxford, Formal methods, Oxford University Computing Laboratory, Communicatingsequentialprocesses
Professor G. Mike Reed is an American computer scientist and Director of UNU/IIST, Macau, part of the United Nations University since 2005....