"Oxford University Computing Laboratory"

Samson Abramsky male, 56 years old: FRS, professor, Queen Mary, University of London, GEC, Royal Society, Alumni of Queen Mary, University of London…Fellow of Wolfson College, Oxford, Wolfson College, Oxford, OxfordUniversityComputingLaboratory, Member of Oxford University Computing Laboratory, university of edinburgh; Professor Samson Abramsky FRS (born March 12, 1953) is a computer scientist. Since the Year 2000, he has been a Fellow of the Royal Society of...

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

He Jifeng male: computer scientist, Programming Research Group, Tony Hoare, formal, unifying theories of programming, Member of the Chinese Academy of Sciences…Computing Science, OxfordUniversityComputingLaboratory, United Nations University, East China Normal University, shanghai jiao tong university; He Jifeng is a Chinese computer scientist. He Jifeng was a Senior Research Fellow at the Programming Research Group in the Oxford University...

Jim Woodcock male: Alumni of the University of Liverpool, PhD, Fellow of Kellogg College, Oxford, concurrency, Communicating sequential processes, OxfordUniversityComputingLaboratory…Academic of the University of York, reconfigurable computing, Kellogg College, Oxford, Member of Oxford University Computing Laboratory, university of liverpool; 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 male, 71 years old: professor, computer scientist, French, Member of Oxford University Computing Laboratory, eth zurich, Z notation…OxfordUniversityComputingLaboratory; 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...

Ian Horrocks male: ontology language, description logics, ontology languages, algorithm, algorithms, OxfordUniversityComputingLaboratory…Academic of the University of Manchester, Alumni of the Victoria University of Manchester, University of Manchester, concordia university, University of Manchester, Manchester; Ian Horrocks is a Professor of Computer Science at the University of Manchester in the UK. His research focuses on knowledge representation,...

Joseph Goguen male, deceased (2006): Joseph Amadee Goguen, tibetan buddhism, naropa institute, Functional programming, computer scientist, mathematics…Member of Oxford University Computing Laboratory, University of California, Berkeley, University of California, San Diego, St. Anne's College, Oxford, OxfordUniversityComputingLaboratory; Joseph Amadee Goguen was a computer science professor in the Department of Computer Science and Engineering at the University of California, San...

Bernard Sufrin male: Oxford University, Academic, audit, computation, scrutiny, University of Oxford…Fellow of Worcester College, Oxford, Worcester College, Oxford, OxfordUniversityComputingLaboratory; Bernard Sufrin is University Lecturer in Computation at Oxford University, and Fellow and Tutor in Computation at Worcester College, Oxford. In...

Zhou Chaochen male, 72 years old: real-time computing, Technical University of Denmark, macau, Member of Oxford University Computing Laboratory, peking university, real-time…OxfordUniversityComputingLaboratory; Zhou Chaochen (born November 1, 1937) is a Chinese computer scientist. Chaochen is a professor from Beijing, China. He studied as an undergraduate...

Cliff Jones male: Fellow of the Association for Computing Machinery, Doctor of Philosophy, FREng, Academic of Newcastle University, Formal methods, OxfordUniversityComputingLaboratory…Formal Aspects of Computing, Newcastle University, Member of Oxford University Computing Laboratory, University of Manchester; Professor Clifford "Cliff" Jones FACM FBCS FIET FREng is a British computer scientist, specializing in research into formal methods. He undertook a...

« Previous12 3 Next »

		Advanced »
Find hidden pictures and profiles of all your friends. Click Here