Adriaan van Wijngaarden

Adriaan van Wijngaarden

male, deceased (1987)
Edsger Dijkstra, Delft University of Technology alumni, programming language, computer pioneer, computer scientist, algol…Formalmethods
Adriaan van Wijngaarden was an important mathematician and computer scientist who is considered by many to have been the founding father of...
Peter J. Landin

Peter J. Landin

male
computer pioneer, The next 700 programming languages, Talk Peter J. Landin, haskell, computer scientist, ISWIM…Formalmethods
Peter Landin is a British computer scientist. He is responsible for inventing the SECD machine and the ISWIM programming language, defining the...

F. X. Reid

male, deceased (2006)
computer scientist, British, usenet, University of Glasgow, UNIX, compiler…Formalmethods
F. X. Reid (aka FXR, who purportedly died 2006) was and continues to be the pen name of a British academic. Reid has been a long-time and amusing...

Donald A. MacKenzie

male
finance, Social studies of finance, Prince Philip, Science and technology studies, Formalmethods, Philosopher of technology
Donald A. MacKenzie is a Professor of Sociology at the University of Edinburgh, Scotland. His work constitutes a crucial contribution to the field...
Rory Lewis

Rory Lewis

male
Syracuse University College of Law, electrical engineering, Syracuse University, algorithms, Data Mining, habilitation…Formalmethods
Rory Adrian Lewis, scientist, poet and philosopher. Rory Lewis has a Bachelor of Science in Computer & Electrical Engineering from Syracuse...
Paolo Traverso

Paolo Traverso

male
Senior Researcher at IRST, Researcher, scientist, novel techniques, Italian Space Agency (ASI), International Workshop…Current Trends in Applied Formal Methods
Paolo Traverso , IRST, Italy Paolo Traverso is a senior researcher at IRST (Institute for Scientific and Technological Research), Trento, Italy....

Nancy G. Leveson

female
University of Washington, National Research Council Advisory Committee, University of California, Massachusetts Institute of Technology, professor, engineer…Formalmethods
Nancy Leveson has a Ph.D. in Computer Science from UCLA and is currently a professor of aerospace software engineering in the Aeronautics and...