Jim Woodcock

male
Alumni of the University of Liverpool, PhD, Fellow of Kellogg College, Oxford, concurrency, Communicating sequential processes, Oxford University Computing Laboratory…Formal methods, formalspecification
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, Z notation…Formal methods, formalspecification
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...
Jim Horning

Jim Horning

male
ACM Fellow, American, A Study of Grammatical Inference, Computer Systems Research Group, digital rights management, computer scientist…formalspecification, Formal methods, specification
James J. "Jim" Horning is an American computer scientist and ACM Fellow. Jim Horning received a PhD in computer science from Stanford University in...
Harlan Mills

Harlan Mills

male, deceased (1996)
Edsger Dijkstra, software engineering, IBM employee, automata theory, IBM, florida institute of technology…Formal methods, formalspecification
Harlan D. Mills was Professor of Computer Science at the Florida Institute of Technology and founder of Software Engineering Technology, Inc. of...