Formal methods people

Alan Mathison Turing ( June 23, 1912 – June 7, 1954) was a British mathematician, logician, and cryptographer. ...more on Wikipedia about "Alan Turing"

Alonzo Church ( June 14, 1903 – August 11, 1995) was an American mathematician and logician who was responsible for some of the foundations of theoretical computer science. Born in Washington, DC, he received a bachelor's degree from Princeton University in 1924, completing his Ph.D. there in 1927, under Oswald Veblen. After a postdoc at Göttingen, he taught at Princeton, 1929-67, and at the University of California, Los Angeles, 1967-90. ...more on Wikipedia about "Alonzo Church"

Amir Pnueli (born April 22, 1941) is an Israeli computer scientist who received the Turing Award in 1996 for seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification. ...more on Wikipedia about "Amir Pnueli"

Bertrand Meyer (born 1950 in France) developed the Eiffel programming language, and is an author, academic and consultant in the field of computer languages. ...more on Wikipedia about "Bertrand Meyer"

Prof. A. W. "Bill" Roscoe is Director of Oxford University Computing Laboratory and a Professor of Computing Science. He is also a Fellow of University College, Oxford. ...more on Wikipedia about "Bill Roscoe"

Sir Charles Antony Richard Hoare (Tony Hoare or C.A.R. Hoare, born January 11, 1934) is a British computer scientist, probably best known for the development of Quicksort, the world's most widely used sorting algorithm, in 1960. He also developed Hoare logic, and the formal language Communicating Sequential Processes (CSP) used to specify the interactions of concurrent processes and the inspiration for the Occam programming language. ...more on Wikipedia about "C. A. R. Hoare"

Carl E. Hewitt is an Associate Professor (Emeritus) in the Electrical Engineering and Computer Science department at the Massachusetts Institute of Technology (MIT). ...more on Wikipedia about "Carl Hewitt"

Christopher Strachey ( 1916– 1975) was a British computer scientist. ...more on Wikipedia about "Christopher Strachey"

Professor Clifford "Cliff" Jones FACM FBCS FIEE FREng is a British computer scientist, specializing in research into formal methods. He undertook a late DPhil at the Oxford University Computing Laboratory under Tony Hoare, awarded in 1981. He also worked with Dines Bjørner and others on the Vienna Development Method (VDM) at IBM in Vienna. ...more on Wikipedia about "Cliff Jones"

Dana S. Scott (born 1932) is an emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His research career has spanned computer science, mathematics and philosophy, and has been characterised by a marriage of a concern for elucidating fundamental concepts in the manner of informal rigor, with a cultivation of mathematically hard problems that bear on these concepts. His work on automata theory earned him the ACM Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has worked also on modal logic, topology and category theory. He is the editor-in-chief of the new journal Logical Methods in Computer Science. ...more on Wikipedia about "Dana Scott"

David May is a British chip designer and computer scientist. ...more on Wikipedia about "David May (computer scientist)"

David Lorge Parnas (born February 10, 1941) is an early pioneer of software engineering who developed the concept of module design which is the foundation of object oriented programming today. He is also noted for his advocacy of technical realism. ...more on Wikipedia about "David Parnas"

Dines Bjørner (b. October 4, 1937 in Odense), is a Danish computer scientist. ...more on Wikipedia about "Dines Bjørner"

Don Sanella is Professor of Computer Science in the Laboratory for Foundations of Computer Science, University of Edinburgh, Scotland. His research interests include: algebraic specification and formal software development, correctness of modular systems, types and functional programming, resource certification for mobile code. ...more on Wikipedia about "Don Sannella"

It's real shortopedia feeling!

Donald A. MacKenzie is a Professor of Sociology at the University of Edinburgh, Scotland. His work constitutes a crucial contribution to the field of Science and Technology Studies. He has also developed research in the field of Social Studies of Finance. He has undertaken widely-cited work on the history of statistics, eugenics, nuclear weapons and computing, among other things. ...more on Wikipedia about "Donald MacKenzie"

Edsger Wybe Dijkstra ( Rotterdam, May 11, 1930 – Nuenen, August 6, 2002) was a Dutch computer scientist. He received the 1972 A. M. Turing Award for fundamental contributions in the area of programming languages. ...more on Wikipedia about "Edsger Dijkstra"

Egon Börger is a computer scientist. ...more on Wikipedia about "Egon Börger"

Eric C. R. Hehner is a Canadian computer scientist. ...more on Wikipedia about "Eric Hehner"

Evert Willem Beth ( July 7, 1908 – April 12, 1964) was a Dutch philosopher and logician, whose work principally concerned the foundations of mathematics. ...more on Wikipedia about "Evert Willem Beth"

Gerard J. Holzmann, American computer scientist and developer of the SPIN model checker. ...more on Wikipedia about "Gerard J. Holzmann"

Gordon D. Plotkin FRS is a computer scientist. ...more on Wikipedia about "Gordon Plotkin" http://www.shortopedia.com - now! Formal_methods_people

Professor He Jifeng is a Chinese computer scientist. ...more on Wikipedia about "He Jifeng"

J Strother Moore is a computer scientist, and is co-developer of the Boyer-Moore string search algorithm and the Boyer-Moore automated theorem prover, NQTHM. A good example of the working of the Boyer-Moore string search algorithm is given in his website along with the Knuth-Morris-Pratt algorithm. ...more on Wikipedia about "J Strother Moore"

Jean-Raymond Abrial, French computer scientist. ...more on Wikipedia about "Jean-Raymond Abrial"

James J. "Jim" Horning is an American computer scientist and ACM Fellow. ...more on Wikipedia about "Jim Horning" This article is made for http://www.shortopedia.com

This article is licensed under the GNU Free Documentation License.
It uses material from the Wikipedia . Direct links to the original articles are in the text.
If you use exact copy or modified of this article you should preserve above paragraph and put also : It uses material from the Shortopedia article about "Formal methods people".

MAIN PAGE MAIN INDEX CONTACT US