Jean-Raymond Abrial

Jean-Raymond Abrial

male, 71 years old
professor, computer scientist, French, Member of Oxford University Computing Laboratory, eth zurich, Z notation…Formalmethods, formal specification
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...
He Jifeng

He Jifeng

male
computer scientist, Programming Research Group, Tony Hoare, formal, unifying theories of programming, Member of the Chinese Academy of Sciences…Formalmethods
He Jifeng is a Chinese computer scientist. He Jifeng was a Senior Research Fellow at the Programming Research Group in the Oxford University...
Alan Turing

Alan Turing

male, deceased (1954) (london)
computer scientist, computer pioneer, turing machine, British computer scientist, British cryptographer at Bletchley Park, scientist…Formalmethods
This short on-line biography of Alan Turing is based on the entry I wrote for the British Dictionary of National Biography in 1995. The eight parts...
Cliff Jones

Cliff Jones

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

Joseph Goguen

male, deceased (2006)
Joseph Amadee Goguen, tibetan buddhism, naropa institute, Functional programming, computer scientist, mathematics…Formalmethods
Joseph Amadee Goguen was a computer science professor in the Department of Computer Science and Engineering at the University of California, San...
John McCarthy

John McCarthy

male, 82 years old
Turing Award laureate, Fellow of the Association for Computing Machinery, Princeton University, National Medal of Science recipient, mathematical logic, Turing Award…Formalmethods
John McCarthy (born September 4, 1927, in Boston, Massachusetts, sometimes known affectionately as Uncle John McCarthy), is a prominent computer...
J Strother Moore

J Strother Moore

male
Fellow of the Association for Computing Machinery, Association for Computing Machinery, fellow, automated deduction, Pentium FDIV bug, Herbrand Award…Formalmethods
J Strother Moore is a computer scientist, and is co-developer of the Boyer-Moore string search algorithm and the Boyer-Moore automated theorem...

Gerard J. Holzmann

male
Delft University of Technology alumni, jpl, NASA, electrical engineering, delft university of technology, American…Formalmethods
Gerard J. Holzmann (born 1951) is an American computer scientist, best known as the developer of the SPIN model checker. Currently, Holzmann leads...
Nancy Leveson

Nancy Leveson

female
University of Washington, Formalmethods, University of California, Irvine faculty, IEEE Transactions on Software Engineering, Traffic Collision Avoidance System, safety-critical system
Prof. Nancy G. Leveson is a leading American expert in system and software safety. She is Professor of Aeronautics and Astronautics at MIT, USA....