SettingsFormal methods people
Aad van Wijngaarden
Adriaan van Wijngaarden (2 November 1916 – 7 February 1987) was an important mathematician and computer scientist who is considered by many to have been the founding father of informatica (c...
Adriaan van Wijngaarden (2 November 1916 – 7 February 1987) was an important mathematician and computer scientist who is considered by many to have been the founding father of informatica (c...
Adriaan van Wijngaarden
Adriaan van Wijngaarden (2 November 1916 – 7 February 1987) was an important mathematician and computer scientist who is considered by many to have been the founding father of informatica (c...
Adriaan van Wijngaarden (2 November 1916 – 7 February 1987) was an important mathematician and computer scientist who is considered by many to have been the founding father of informatica (c...
Amir Pnueli
Amir Pnueli (אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist.
Amir Pnueli (אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist.
Andrew D. Gordon
Andrew D. Gordon is a British computer scientist.
Andrew D. Gordon is a British computer scientist.
Andrew Martin (computer scientist)
Dr. Andrew Martin is a British computer scientist, Deputy Director and lecturer in Software Engineering Programme at the University of Oxford, England.
Dr. Andrew Martin is a British computer scientist, Deputy Director and lecturer in Software Engineering Programme at the University of Oxford, England.
Bertrand Meyer
Bertrand Meyer is an academic, author, and consultant in the field of computer languages.
Bertrand Meyer is an academic, author, and consultant in the field of computer languages.
Bill Roscoe
A. William "Bill" Roscoe is a Scottish computer scientist.
A. William "Bill" Roscoe is a Scottish computer scientist.
C. A. R. Hoare
Sir Charles Antony Richard Hoare (born 11 January 1934), commonly known as Tony Hoare or C.A.R. Hoare, is a British computer scientist best known for the development (in 1960, at ag...
Sir Charles Antony Richard Hoare (born 11 January 1934), commonly known as Tony Hoare or C.A.R. Hoare, is a British computer scientist best known for the development (in 1960, at ag...
Carl Adam Petri
Carl Adam Petri (12 July 1926 – 2 July 2010) was a German mathematician and computer scientist.
Carl Adam Petri (12 July 1926 – 2 July 2010) was a German mathematician and computer scientist.
Carl Hewitt
Carl E. Hewitt is Associate Professor Emeritus in the Electrical Engineering and Computer Science department at the Massachusetts Institute of Technology.
Carl E. Hewitt is Associate Professor Emeritus in the Electrical Engineering and Computer Science department at the Massachusetts Institute of Technology.
Charles Leonard Hamblin
Charles Leonard Hamblin was an Australian philosopher, logician, and computer pioneer, as well as a professor of philosophy at the New South Wales University of Technology in Sydney.
Charles Leonard Hamblin was an Australian philosopher, logician, and computer pioneer, as well as a professor of philosophy at the New South Wales University of Technology in Sydney.
Chris Tofts
Chris Tofts (born 1964) is an English computer scientist.
Chris Tofts (born 1964) is an English computer scientist.
Christopher Strachey
Christopher Strachey (1916–1975) was a British computer scientist.
Christopher Strachey (1916–1975) was a British computer scientist.
Cliff Jones (computer scientist)
Clifford "Cliff" B. Jones (born 1 June 1944) is a British computer scientist, specializing in research into formal methods.
Clifford "Cliff" B. Jones (born 1 June 1944) is a British computer scientist, specializing in research into formal methods.
Dana Scott
Dana Stewart Scott (born October 11, 1932) is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retir...
Dana Stewart Scott (born October 11, 1932) is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retir...
Daniel Jackson (computer scientist)
Daniel Jackson is a Professor of Computer Science at the Massachusetts Institute of Technology.
Daniel Jackson is a Professor of Computer Science at the Massachusetts Institute of Technology.
David Gries
David Gries (born 26 April 1939 in Flushing, Queens, New York) is an American computer scientist at Cornell University, United States.
David Gries (born 26 April 1939 in Flushing, Queens, New York) is an American computer scientist at Cornell University, United States.
David Harel
David Harel (דוד הראל; born 1950) is a professor of computer science at the Weizmann Institute of Science in Israel.
David Harel (דוד הראל; born 1950) is a professor of computer science at the Weizmann Institute of Science in Israel.
David May (computer scientist)
Michael David May, born February 24, 1951, is a British computer scientist.
Michael David May, born February 24, 1951, is a British computer scientist.
David Parnas
David Lorge Parnas is a Canadian early pioneer of software engineering, who developed the concept of information hiding in modular programming, which is an important element of object-oriented p...
David Lorge Parnas is a Canadian early pioneer of software engineering, who developed the concept of information hiding in modular programming, which is an important element of object-oriented p...
David Watt (computer scientist)
David Anthony Watt (born 1946 is a British computer scientist.
David Anthony Watt (born 1946 is a British computer scientist.
Dines Bjørner
Professor Dines Bjørner (born 4 October 1937 in Odense) is a Danish computer scientist.
Professor Dines Bjørner (born 4 October 1937 in Odense) is a Danish computer scientist.
Don Sannella
Don Sannella is Professor of Computer Science in the Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Scotland.
Don Sannella is Professor of Computer Science in the Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Scotland.
Donald A. MacKenzie
Donald Angus MacKenzie (born 1950) is a Professor of Sociology at the University of Edinburgh, Scotland.
Donald Angus MacKenzie (born 1950) is a Professor of Sociology at the University of Edinburgh, Scotland.
E. Allen Emerson
Ernest Allen Emerson is a computer scientist and endowed professor at the University of Texas, Austin, USA.
Ernest Allen Emerson is a computer scientist and endowed professor at the University of Texas, Austin, USA.
Eric Hehner
Eric C. R. Hehner, called Rick, is a Canadian computer scientist.
Eric C. R. Hehner, called Rick, is a Canadian computer scientist.
Evert Willem Beth
Evert Willem Beth (July 7, 1908 – April 12, 1964) was a Dutch philosopher and logician, whose work principally concerned the foundations of mathematics.
Evert Willem Beth (July 7, 1908 – April 12, 1964) was a Dutch philosopher and logician, whose work principally concerned the foundations of mathematics.
F. X. Reid
F. X. Reid (aka FXR), who purportedly died 2006, was and continues to be the pen name of British computer science academic Mike W. Shields.
F. X. Reid (aka FXR), who purportedly died 2006, was and continues to be the pen name of British computer science academic Mike W. Shields.
Faron Moller
Faron George Moller (born February 25, 1962 in Trail, British Columbia) is a Canadian-born British computer scientist and expert on theoretical computer science, particularly infinite-state auto...
Faron George Moller (born February 25, 1962 in Trail, British Columbia) is a Canadian-born British computer scientist and expert on theoretical computer science, particularly infinite-state auto...
Fred B. Schneider
Fred B. Schneider is an American computer scientist, based at Cornell University, New York, USA, where he is the Samuel B. Eckert Professor of Computer Science.
Fred B. Schneider is an American computer scientist, based at Cornell University, New York, USA, where he is the Samuel B. Eckert Professor of Computer Science.
G. Mike Reed
Professor G. Mike Reed is an American computer scientist and Director of UNU/IIST, Macau, part of the United Nations University since 2005.
Professor G. Mike Reed is an American computer scientist and Director of UNU/IIST, Macau, part of the United Nations University since 2005.
Gerard J. Holzmann
Gerard J. Holzmann (born 1951) is an American computer scientist, best known as the developer of the SPIN model checker.
Gerard J. Holzmann (born 1951) is an American computer scientist, best known as the developer of the SPIN model checker.
Gordon Plotkin
Gordon D. Plotkin, FRS is a Scottish computer scientist.
Gordon D. Plotkin, FRS is a Scottish computer scientist.
Harlan Mills
Harlan D. Mills was Professor of Computer Science at the Florida Institute of Technology and founder of Software Engineering Technology, Inc. of Vero Beach, Florida.
Harlan D. Mills was Professor of Computer Science at the Florida Institute of Technology and founder of Software Engineering Technology, Inc. of Vero Beach, Florida.
He Jifeng
He Jifeng is a Chinese computer scientist.
He Jifeng is a Chinese computer scientist.
Ian Bayley
Ian Bayley is a United Kingdom computer scientist and quiz player who, despite his youth when compared with other leading players (he is in his early thirties), won several medals in quizzing, b...
Ian Bayley is a United Kingdom computer scientist and quiz player who, despite his youth when compared with other leading players (he is in his early thirties), won several medals in quizzing, b...
J Strother Moore
J Strother Moore (his first name is the alphabetic character "J" – not an abbreviated "J.") is a computer scientist, and he is a co-developer of the Boyer–Moore string search algorithm and...
J Strother Moore (his first name is the alphabetic character "J" – not an abbreviated "J.") is a computer scientist, and he is a co-developer of the Boyer–Moore string search algorithm and...
J. Anthony Hall
J. Anthony Hall FREng is a leading British software engineer specializing in the use of formal methods, especially the Z notation.
J. Anthony Hall FREng is a leading British software engineer specializing in the use of formal methods, especially the Z notation.
Jan Bergstra
Jan A. Bergstra is a Dutch computer scientist.
Jan A. Bergstra is a Dutch computer scientist.
Jane Hillston
Jane Hillston is Professor of Quantitative Modelling and an EPSRC Advanced Research Fellow in the School of Informatics, University of Edinburgh, Scotland.
Jane Hillston is Professor of Quantitative Modelling and an EPSRC Advanced Research Fellow in the School of Informatics, University of Edinburgh, Scotland.
Jawed Siddiqi
Jawed Siddiqi is a Pakistani British computer scientist and software engineer.
Jawed Siddiqi is a Pakistani British computer scientist and software engineer.
Jean-Raymond Abrial
Jean-Raymond Abrial (born 1938) is a French computer scientist and inventor of the Z and B formal methods.
Jean-Raymond Abrial (born 1938) is a French computer scientist and inventor of the Z and B formal methods.
Jeannette Wing
Jeannette Marie Wing is a computer science professor at Carnegie Mellon University, Pittsburgh, Pennsylvania, United States, and assistant director for Computer and Information Science and Engin...
Jeannette Marie Wing is a computer science professor at Carnegie Mellon University, Pittsburgh, Pennsylvania, United States, and assistant director for Computer and Information Science and Engin...
Jim Davies (computer scientist)
Jim Davies is Professor of Software Engineering and current Director of the Software Engineering Programme at the University of Oxford, England.
Jim Davies is Professor of Software Engineering and current Director of the Software Engineering Programme at the University of Oxford, England.
Jim Horning
James J. "Jim" Horning is an American computer scientist and ACM Fellow.
James J. "Jim" Horning is an American computer scientist and ACM Fellow.
Jim Woodcock
Professor Jim C. P. Woodcock FRSA FBCS is a British computer scientist.
Professor Jim C. P. Woodcock FRSA FBCS is a British computer scientist.
Joe Stoy
Joseph E. "Joe" Stoy is a British computer scientist.
Joseph E. "Joe" Stoy is a British computer scientist.
John Alan Robinson
John Alan Robinson (b. 1928) is a philosopher (by training), mathematician and computer scientist.
John Alan Robinson (b. 1928) is a philosopher (by training), mathematician and computer scientist.
John Fitzgerald (computer scientist)
John S. Fitzgerald (born 1965) is a British computer scientist and Chair of Formal Methods Europe.
John S. Fitzgerald (born 1965) is a British computer scientist and Chair of Formal Methods Europe.
John Guttag
John V. Guttag is a Canadian Computer Scientist, Professor and former Head of the Department of Electrical Engineering and Computer Science at MIT.
John V. Guttag is a Canadian Computer Scientist, Professor and former Head of the Department of Electrical Engineering and Computer Science at MIT.
John McCarthy (computer scientist)
John McCarthy (September 4, 1927 – October 24, 2011) was an American computer scientist and cognitive scientist.
John McCarthy (September 4, 1927 – October 24, 2011) was an American computer scientist and cognitive scientist.
John V. Tucker
John Vivian Tucker (born 1952) is a British computer scientist and expert on computability theory, also known as recursion theory.
John Vivian Tucker (born 1952) is a British computer scientist and expert on computability theory, also known as recursion theory.
Joseph Goguen
Joseph Amadee Goguen (28 June 1941 – 3 July 2006) was a computer science professor in the Department of Computer Science and Engineering at the University of California, San Diego, USA, who help...
Joseph Amadee Goguen (28 June 1941 – 3 July 2006) was a computer science professor in the Department of Computer Science and Engineering at the University of California, San Diego, USA, who help...
Kevin Lano
Kevin C. Lano is a British computer scientist.
Kevin C. Lano is a British computer scientist.
Klaus Samelson
Klaus Samelson (December 21, 1918 – May 25, 1980) was a German mathematician, physicist, and computer pioneer in the area of programming language translation and push-pop stack algorithms for se...
Klaus Samelson (December 21, 1918 – May 25, 1980) was a German mathematician, physicist, and computer pioneer in the area of programming language translation and push-pop stack algorithms for se...
Lawrence Paulson
Lawrence Charles Paulson (born 1955) is a professor at the University of Cambridge Computer Laboratory and a fellow of Clare College.
Lawrence Charles Paulson (born 1955) is a professor at the University of Cambridge Computer Laboratory and a fellow of Clare College.
Leslie Lamport
Leslie Lamport (born February 7, 1941 in New York City) is an American computer scientist.
Leslie Lamport (born February 7, 1941 in New York City) is an American computer scientist.
Liu Zhiming
Zhiming Liu (born 10 October 1961, Hebei Province, China) is a computer scientist.
Zhiming Liu (born 10 October 1961, Hebei Province, China) is a computer scientist.
Luigi Logrippo
Luigi Logrippo is a Professor of Computer Science at the Université du Québec en Outaouais.
Luigi Logrippo is a Professor of Computer Science at the Université du Québec en Outaouais.
Manfred Broy
Manfred Broy (born 10 August 1949 at Landsberg am Lech) is a German computer scientist.
Manfred Broy (born 10 August 1949 at Landsberg am Lech) is a German computer scientist.
Mark d'Inverno
Professor Mark d'Inverno is a computer scientist at Goldsmiths, University of London, England.
Professor Mark d'Inverno is a computer scientist at Goldsmiths, University of London, England.
Mark Harman (computer scientist)
Mark Harman is a British computer scientist.
Mark Harman is a British computer scientist.
Martin Henson
Professor Martin C. Henson FBCS FRSA (born 1954) is an English computer scientist based at the University of Essex.
Professor Martin C. Henson FBCS FRSA (born 1954) is an English computer scientist based at the University of Essex.
Martyn Thomas
Martyn Thomas CBE FREng FBCS FIET FRSA is a British independent consultant and software engineer.
Martyn Thomas CBE FREng FBCS FIET FRSA is a British independent consultant and software engineer.
Matt Kaufmann
Matt Kaufmann is a Senior Research Scientist in the Department of Computer Sciences at the University of Texas at Austin, USA. He was a recipient of the 2005 ACM Software System Award along with...
Matt Kaufmann is a Senior Research Scientist in the Department of Computer Sciences at the University of Texas at Austin, USA. He was a recipient of the 2005 ACM Software System Award along with...
Matthew Hennessy
Matthew Hennessy is an Irish computer scientist who has contributed especially to concurrency (computer science), process calculi and programming language semantics.
Matthew Hennessy is an Irish computer scientist who has contributed especially to concurrency (computer science), process calculi and programming language semantics.
Michael A. Jackson
Michael Anthony Jackson (born 1936) is a British computer scientist, and independent computing consultant in London, England.
Michael Anthony Jackson (born 1936) is a British computer scientist, and independent computing consultant in London, England.
Michael Butler (computer scientist)
Michael J. Butler is Professor of Computer Science at the University of Southampton, UK.
Michael J. Butler is Professor of Computer Science at the University of Southampton, UK.
Michael Fourman
Michael Paul Fourman, FBCS (born 1950-09-12) is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of the School of Informatics from 2001-2009.
Michael Paul Fourman, FBCS (born 1950-09-12) is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of the School of Informatics from 2001-2009.
Michael Hinchey
Michael G. Hinchey is an Irish computer scientist and Director at the Irish Software Engineering Research Centre Lero, University of Limerick, Ireland.
Michael G. Hinchey is an Irish computer scientist and Director at the Irish Software Engineering Research Centre Lero, University of Limerick, Ireland.
Michael J. C. Gordon
Michael John Caldwell Gordon, British computer scientist (born February 28, 1948).
Michael John Caldwell Gordon, British computer scientist (born February 28, 1948).
Moshe Y. Vardi
Moshe Ya'akov Vardi is a Professor of Computer Science at Rice University, USA. He is the Karen Ostrum George Professor in Computational Engineering, Distinguished Service Professor, and Directo...
Moshe Ya'akov Vardi is a Professor of Computer Science at Rice University, USA. He is the Karen Ostrum George Professor in Computational Engineering, Distinguished Service Professor, and Directo...
Nancy Leveson
Prof. Nancy G. Leveson is a leading American expert in system and software safety.
Prof. Nancy G. Leveson is a leading American expert in system and software safety.
Nikil Dutt
Nikil Dutt is a Chancellor's Professor of Computer Science at University of California, Irvine, USA. Professor Dutt’s research interests are in embedded systems, electronic design automation, co...
Nikil Dutt is a Chancellor's Professor of Computer Science at University of California, Irvine, USA. Professor Dutt’s research interests are in embedded systems, electronic design automation, co...
Niklaus Wirth
Niklaus Emil Wirth is a Swiss computer scientist, best known for designing several programming languages, including Pascal, and for pioneering several classic topics in software engineering.
Niklaus Emil Wirth is a Swiss computer scientist, best known for designing several programming languages, including Pascal, and for pioneering several classic topics in software engineering.
Ole-Johan Dahl
Ole-Johan Dahl (October 12, 1931 – June 29, 2002) was a Norwegian computer scientist and is considered to be one of the fathers of Simula and object-oriented programming along with Kristen...
Ole-Johan Dahl (October 12, 1931 – June 29, 2002) was a Norwegian computer scientist and is considered to be one of the fathers of Simula and object-oriented programming along with Kristen...
Peter Mosses
Peter D. Mosses (born 1948) is a British computer scientist.
Peter D. Mosses (born 1948) is a British computer scientist.
Peter O'Hearn
Peter William O'Hearn (born 13 July 1963 in Halifax, Nova Scotia, Canada) is a computer scientist based in the United Kingdom.
Peter William O'Hearn (born 13 July 1963 in Halifax, Nova Scotia, Canada) is a computer scientist based in the United Kingdom.
Philip Wadler
Philip Wadler is a computer scientist known for his contributions to programming language design and type theory.
Philip Wadler is a computer scientist known for his contributions to programming language design and type theory.
Rajeev Alur
Rajeev Alur is a researcher in the field of formal methods for modeling and analyzing programs and systems, in particular model checking.
Rajeev Alur is a researcher in the field of formal methods for modeling and analyzing programs and systems, in particular model checking.
Ralph-Johan Back
Ralph-Johan Back is a Finnish computer scientist.
Ralph-Johan Back is a Finnish computer scientist.
Richard Bird (computer scientist)
Prof. Richard Simpson Bird (born 1943, London) is a Fellow of Computation at Lincoln College, Oxford, England, and former director of Oxford University Computing Laboratory.
Prof. Richard Simpson Bird (born 1943, London) is a Fellow of Computation at Lincoln College, Oxford, England, and former director of Oxford University Computing Laboratory.
Richard Bornat
Richard Bornat (born 1944), is a noted British author and researcher in the field of computer science.
Richard Bornat (born 1944), is a noted British author and researcher in the field of computer science.
Robert Kowalski
Robert "Bob" Anthony Kowalski (born May 15, 1941, in Bridgeport, Connecticut, USA) is a British logician and computer scientist, who has spent most of his career in the United Kingdom.
Robert "Bob" Anthony Kowalski (born May 15, 1941, in Bridgeport, Connecticut, USA) is a British logician and computer scientist, who has spent most of his career in the United Kingdom.
Robert S. Boyer
Robert Stephen Boyer, aka Bob Boyer, is a retired professor of computer science, mathematics, and philosophy at The University of Texas at Austin.
Robert Stephen Boyer, aka Bob Boyer, is a retired professor of computer science, mathematics, and philosophy at The University of Texas at Austin.
Robert W. Floyd
Robert W (Bob) Floyd (June 8, 1936 – September 25, 2001) was an eminent computer scientist.
Robert W (Bob) Floyd (June 8, 1936 – September 25, 2001) was an eminent computer scientist.
Robin Milner
Arthur John Robin Gorell Milner FRS FRSE (Robin Milner or A.J.R.G. Milner, born 13 January 1934 near Plymouth, died 20 March 2010 in Cambridge) was a prominent British computer s...
Arthur John Robin Gorell Milner FRS FRSE (Robin Milner or A.J.R.G. Milner, born 13 January 1934 near Plymouth, died 20 March 2010 in Cambridge) was a prominent British computer s...
Rod Burstall
Rodney M. Burstall is one of four founders of the Edinburgh Laboratory for Foundations of Computer Science.
Rodney M. Burstall is one of four founders of the Edinburgh Laboratory for Foundations of Computer Science.
Samson Abramsky
Samson D. Abramsky FRS, FRSE is a computer scientist who currently holds the Christopher Strachey Professorship at Oxford University Computing Laboratory.
Samson D. Abramsky FRS, FRSE is a computer scientist who currently holds the Christopher Strachey Professorship at Oxford University Computing Laboratory.
Steve Reeves (computer scientist)
Prof. Steve Reeves is a computer scientist based at the University of Waikato in New Zealand.
Prof. Steve Reeves is a computer scientist based at the University of Waikato in New Zealand.
Tom Maibaum
Prof. Thomas Stephen Edward Maibaum FIET FRSA (born 18 August 1947 in Hungary) is a British-Canadian computer scientist.
Prof. Thomas Stephen Edward Maibaum FIET FRSA (born 18 August 1947 in Hungary) is a British-Canadian computer scientist.
Tony Hoare
Sir Charles Antony Richard Hoare (born 11 January 1934), commonly known as Tony Hoare or C.A.R. Hoare, is a British computer scientist best known for the development (in 1960, at ag...
Sir Charles Antony Richard Hoare (born 11 January 1934), commonly known as Tony Hoare or C.A.R. Hoare, is a British computer scientist best known for the development (in 1960, at ag...
Ursula Martin
Ursula Martin is a British computer scientist.
Ursula Martin is a British computer scientist.
Yuri Gurevich
Yuri Gurevich is an American computer scientist and mathematician and the inventor of abstract state machines.
Yuri Gurevich is an American computer scientist and mathematician and the inventor of abstract state machines.
Zhou Chaochen
Zhou Chaochen is a Chinese computer scientist.
Zhou Chaochen is a Chinese computer scientist.