- Jim Woodcock
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 Professor of Software Engineering at the Oxford University Computing Laboratory, where he was also a Fellow of Kellogg College. He then joined the University of Kent and is now based at the University of York. His research interests include: strong software engineering, Grand Challenge in dependable systems evolution, …
- John Rushby
Dr. John Rushby Program Director SRI International
- Jonathan Bowen
Jonathan Bowen is Chairman of Museophile Limited and a Visiting Professor at London South Bank University, where he has founded and headed the Centre for Applied Formal Methods since 2000. During 2006-07, he is a visiting academic at University College London. EPSRC Visiting Fellow:
- C. A. R. Hoare
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 (or Hoaresort), the world's most widely used sorting algorithm, in 1960.
- Amir Pnueli
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". Born in Nahalal, Israel, Pnueli received a Bachelor's degree in Mathematics at the Technion in Haifa, and Ph.D. in applied mathematics from the Weizmann Institute of Science.
- Bertrand Meyer
Bertrand Meyer (born 1950 in France) developed the Eiffel programming language, and is an author, academic and consultant in the field of computer languages. Meyer pursues the ideal of simple, elegant and user-friendly computer languages and is one of the earliest and most vocal proponents of object-oriented programming (OOP). His book on "Object-Oriented Software Construction" is often considered the best work on presenting the case for OOP.
- Robin Milner
Robin Milner FRS (born 1934, Plymouth, England) is a prominent British computer scientist.
- David Harel
David Harel (born 1950) is a professor of computer science at the Weizmann Institute of Science in Israel. Born in London, England, he was Dean of the Faculty of Mathematics and Computer Science at the institute for seven years. Harel is best known for his work on dynamic logic, computability and software engineering. In the 1980s he invented the graphical language of Statecharts, which has been adopted as part of the UML standard.
- Leslie Lamport
Dr. Leslie Lamport (born 1941) is an American computer scientist. A graduate of the Bronx High School of Science, he received a B.S. in mathematics from the Massachusetts Institute of Technology in 1960, and M.A. and Ph.D. degrees in mathematics from Brandeis University, respectively in 1963 and 1972. His dissertation was about singularities in analytic partial differential equations.
- John Fitzgerald
Dr John Fitzgerald is a British computer scientist and Chair of Formal Methods Europe. He holds a readership at Newcastle University, UK. His research interests are in the area of dependable computer systems and formal methods, with a background in the VDM. He holds BSc and PhD degrees from the University of Manchester. He is a committee member of BCS-FACS.
- Jean-Raymond Abrial
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 notation (typically used for formal specification of software), during his time at the Programming Research Group within the Oxford University Computing Laboratory, and later the B-Method (normally used for software development), two leading formal methods for software engineering.
- He Jifeng
He Jifeng is a Chinese computer scientist. He Jifeng was a Senior Research Fellow at the Programming Research Group in the Oxford University Computing Laboratory from 1984 to 1998. He worked extensively on formal aspects of computing science. In particular, he worked with Tony Hoare, latterly on Unifying Theories of Programming, resulting in a book of that name. Since 1986, He Jifeng has been Professor of Computer Science at East China Normal University in Shanghai.
- Alan Turing
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 correspond roughly to the eight sections of my full biography Alan Turing : the enigma. There are no hyperlinks in the text. For links and for more images, go to the corresponding page of the Alan Turing Internet Scrapbook. Part 8 - Alan Turing 's Crisis
- Cliff Jones
Professor Clifford "Cliff" Jones FACM FBCS FIET 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. He was a professor at the University of Manchester, worked in industry at Harlequin for a period, …
- Joseph Goguen
Joseph Amadee Goguen was a computer science professor in the Department of Computer Science and Engineering at the University of California, San Diego, USA, who helped develop the OBJ family of programming languages. He was author of "A Categorical Manifesto" and Editor-in-Chief of the Journal of Consciousness Studies. Standard implication in product fuzzy logic is often called "Goguen implication".
- John McCarthy
John McCarthy (born September 4, 1927, in Boston, Massachusetts, sometimes known affectionately as Uncle John McCarthy), is a prominent computer scientist who received the Turing Award in 1971 for his major contributions to the field of Artificial Intelligence. He was responsible for the coining of the term "Artificial Intelligence" in his 1955 proposal for the 1956 Dartmouth Conference. McCarthy championed mathematical logic for Artificial Intelligence.
- J Strother Moore
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 workings of the Boyer-Moore string search algorithm is given in his website along with the Knuth-Morris-Pratt algorithm. In addition, he is a co-author of the ACL2 automated theorem prover.
- Gerard J. Holzmann
Gerard J. Holzmann (born 1951) is an American computer scientist, best known as the developer of the SPIN model checker. Currently, Holzmann leads the NASA JPL "Laboratory for Reliable Software" in Pasadena, California. Previously he was at Bell Labs (c1980-2003) where he worked in the Computing Science Research Center (the former Unix research group).
- Nancy Leveson
Prof. Nancy G. Leveson is a leading American expert in system and software safety. She is Professor of Aeronautics and Astronautics at MIT, USA. Nancy Leveson gained her degrees (in computer science, mathematics and management) from UCLA, including her PhD in 1980. Previously she was based at University of California, Irvine and the University of Washington as a faculty member.
- Jeannette Wing
Jeannette M. Wing is a computer science professor at Carnegie Mellon University, Pittsburgh, USA. Wing has been a leading member of the formal methods community, especially in the area of Larch. She has led many research projects and has published widely. With Barbara Liskov, Jeannette Wing developed the Liskov substitution principle, published in 1993. She is on the editorial board of the following journals: Journal of the ACM, …
- Gordon Plotkin
Gordon D. Plotkin FRS (born, in Glasgow, 9 September 1946) is a Scottish computer scientist. Gordon Plotkin is best-known for his introduction of structural operational semantics (SOS) and his work on denotational semantics. In particular, his notes on "A Structural Approach to Operational Semantics" of 1981 were very influential. He has contributed to many other areas of computer science.
- Patrick Cousot
Patrick Cousot is a French computer scientist. Cousot is the originator of abstract interpretation, an influential technique in formal methods. In the 2000s, he has worked on practical methods of static analysis for critical embedded software, such as found in avionics. He has been Professor of Computer Science at the École Normale Supérieure (ENS) in Paris since 1991. He is a knight (Chevalier) in the Ordre National du Mérite and the Ordre des Palmes académiques.
- Samson Abramsky
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 Edinburgh, a Fellow of Wolfson College, Oxford and Christopher Strachey Professor of Computing at Oxford University Computing Laboratory. He has also been a Fellow of the Royal Society since 2004. His research achievements include the development of game semantics, domain theory in logical form, and categorical quantum mechanics.
- David Parnas
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.
- Zhou Chaochen
Zhou Chaochen (born November 1, 1937) is a Chinese computer scientist. Chaochen is a professor from Beijing, China. He studied as an undergraduate at the Department of Mathematics and Mechanics, Peking University (1954-1958) and as a postgraduate at the Institute for Computing Technology, Chinese Academy of Sciences (CAS) (1963-1967). He worked at Peking University and CAS until his visit to the Oxford University Computing Laboratory (1989-1992).
- Edsger W. Dijkstra
Edsger Wybe Dijkstra (May 11, 1930 - August 6, 2002); IPA:) was a Dutch computer scientist. He received the 1972 A. C. M. Turing Award for fundamental contributions in the area of programming languages, and was the Schlumberger Centennial Chair of Computer Sciences at The University of Texas at Austin from 1984 until his death in 2002.
- Tom Maibaum
Prof. Tom Maibaum (born 18 August 1947 in Hungary) is a British-Canadian computer scientist. Maibaum has an undergraduate degree in Pure Mathematics from the University of Toronto, Canada (1970), and a PhD in Computer Science from the University of London, England (1974). Professor Maibaum has held academic posts at Imperial College, London, King's College London (UK) and McMaster University (Canada). His research interests have concentrated on the theory of specification, …
- Andrew D. Gordon
Andrew D. Gordon is a British computer scientist. Gordon is the co-designer of Spi Calculus (with Martin Abadi), Ambient calculus (Luca Cardelli), and other various programming languages. Until 1997 he was a Research Fellow at the University of Cambridge Computer Laboratory, after which he became Senior Researcher in Programming Principles and Tools for Microsoft.
- Ole-Johan Dahl
Ole-Johan Dahl was a Norwegian computer scientist and is considered to be one of the fathers of Simula and object-oriented programming along with Kristen Nygaard. Dahl, born in Mandal, Norway, is widely accepted as Norway’s foremost computer scientist.
- Egon Börger
Egon Börger is a German-born computer scientist based in Italy. Professor Egon Börger was born in Bad Laer, Lower Saxony, Germany. He studied at the Sorbonne, Paris (France), University of Louvain and "Institut Supérieur de Philosophie de Louvain" (Belgium), University of Münster, (Germany) from 1965 to 1971. Börger is well-known for espousing "Evolving Algebras", a formal method for specification and verification, …
- Dana Scott
Dana Stewart Scott (born 1932) is the 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 characterized by a marriage of a concern for elucidating fundamental concepts in the manner of informal rigor, …
- Niklaus Wirth
Niklaus E. Wirth (b. February 15, 1934) is a Swiss computer scientist, best known for designing several programming languages, including Pascal, and for pioneering several classic topics in software engineering. In 1984 he won the Turing Award for developing a sequence of innovative computer languages.
- Donald Knuth
Don's father was a Lutheran school teacher and church organist. Don studied piano, and for a brief time organ, through high school. Later as a faculty member of Caltech, he was called upon to be a long-term substitute organist at Faith Lutheran Church in Pasadena, California. He became a member of the American Guild of Organists in 1965, and saw his first Abbott and Sieker organ at that time.
- Dines Bjørner
Dines Bjørner in Macau during the 1990s. His "magnum opus" on software engineering (three volumes) appears in 2005/6 (see details below). To support VDM, Bjørner co-founded VDM-Europe, which subsequently became Formal Methods Europe, an organization that supports conferences and related activities. In 2003, he instigated the associated ForTIA "Formal Techniques Industry Association".
- Ursula Martin
Ursula Martin is a British computer scientist. She is Vice-Principal of Science and Engineering at Queen Mary, University of London and a Professor of Computer Science in the Department of Computer Science there. Ursula Martin gained an MA from the University of Cambridge and a PhD from the University of Warwick, both in mathematics. She has held academic posts at University of Illinois at Urbana-Champaign (USA), the University of Manchester (UK), Royal Holloway, …
- Matthew Hennessy
Matthew Hennessy is a British computer scientist who has contributed especially to language semantics. Hennessy is Professor of Computer Science at the Department of Informatics, University of Sussex, England. His research interests are in the area of the semantic foundations of programming and specification languages, particularly involving distributed computing, including mobile computing. He also has an interest in verification tools.
- Kevin Lano
Kevin Lano was one of the originators of formal object-oriented techniques, and developed a combination of UML and formal methods in a number of papers and books. He was one of the founders of the Precise UML group, who influenced the definition of UML 2.0. Lano's most recent book is "Advanced Systems Design with Java, UML and MDA" ISBN 0750664967
- John Guttag
John Guttag is a Professor in MIT's Department of Electrical Engineering and Computer Science. He has served as that department's Associate Department Head for Computer Science. In January, he will become Department Head. He also heads the MIT Laboratory for Computer Science's Software Devices and Systems Group. This group does research in the areas of computer networks, computer and communications security, and wireless communications.
- Alonzo Church
Alonzo Church 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 post-doctoral fellowship at Göttingen, he taught at Princeton, 1929–1967, and at the University of California, Los Angeles, 1967–1990.
- Peter Mosses
Peter D. Mosses is a British computer scientist. Peter Mosses studied mathematics as an undergraduate at Trinity College, Oxford, and went on to undertake a DPhil supervised by Christopher Strachey in the Programming Research Group while at Wolfson College, Oxford in the early 1970s. He was the last student to submit his thesis under Strachey before the latter's untimely death. Mosses has spent most of his career at BRICS in Denmark.