Bill Roscoe

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

Ralph-Johan Back

male
PhD, computer scientist, Finnish, university of helsinki, turku, CWI…Formalmethods
Ralph-Johan Back is a Finnish computer scientist. Back originated the Refinement Calculus, an important approach to the formal development of...

Don Sannella

male
professor, University of Edinburgh School of Informatics, Formalmethods, theoretical computer science, formal, Laboratory for Foundations of Computer Science
Don Sannella is Professor of Computer Science in the Laboratory for Foundations of Computer Science, School of Informatics, University of...
Jim Horning

Jim Horning

male
ACM Fellow, American, A Study of Grammatical Inference, Computer Systems Research Group, digital rights management, computer scientist…formal specification, Formalmethods
James J. "Jim" Horning is an American computer scientist and ACM Fellow. Jim Horning received a PhD in computer science from Stanford University in...
John C. Reynolds

John C. Reynolds

male, 74 years old
Fellow of the Association for Computing Machinery, Forsythe programming language, ACM SIGPLAN Programming Language Achievement Award, data structure, Academic of Queen Mary, University of London, Communications of the ACM…Formalmethods
John C. Reynolds is an American computer scientist (born June 1, 1935). John Reynolds studied at Purdue University and then earned a PhD in...
Michael J. C. Gordon

Michael J. C. Gordon

male, 61 years old
From ripon, Cambridge University Computer Laboratory, Evaluation and Denotation of Pure LISP Programs, Formalmethods, Alumni of Gonville and Caius College, Cambridge, Royal Society
Michael J. C. Gordon, British computer scientist (born February 28, 1948). Mike Gordon led the development of the HOL theorem prover. He was born...

Rod Burstall

male
POP-2, John Darlington, pattern matching, Roderick Burstall, list comprehension, NPL programming language…Formalmethods
Roderick Burstall was one of three founders of the Edinburgh Laboratory for Foundations of Computer Science. He was an early and influential...
Jan Bergstra

Jan Bergstra

male, 58 years old
dutch, From Rotterdam, software engineering, Member of Academia Europaea, Formalmethods, Jan A Bergstra
Jan A Bergstra is a Dutch computer scientist. His work has focussed on logic and the theoretical foundations of software engineering, especially on...
Liu Zhiming

Liu Zhiming

male, 48 years old
computer scientist, Member of University of Leicester, Member of University of Warwick, fault-tolerant systems, Institute of Software, formal techniques…Formalmethods
Zhiming Liu, born in Hebei Privince, China, is a computer scientist. He studied Mathematics in an unknown University in China and got his first...
Mike Reed

Mike Reed

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