Jim Woodcock

male
Alumni of the University of Liverpool, PhD, Fellow of Kellogg College, Oxford, concurrency, Communicating sequential processes, Oxford University Computing Laboratory…Znotation
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...
Jean-Raymond Abrial

Jean-Raymond Abrial

male, 71 years old
professor, computer scientist, French, Member of Oxford University Computing Laboratory, eth zurich, Znotation
Jean-Raymond Abrial (born 1938) is a French computer scientist and inventor of the Z and B formal methods. J.-R. Abrial is the originator of the Z...