Jawed Siddiqi

Jawed Siddiqi

male
Stephen Lawrence, West Midlands, bcs, Academic, mathematics, IEEE…Formalmethods, Formal Aspects of Computing Science
Jawed Siddiqi is Professor of Software Engineering at Sheffield Hallam University, England. Siddiqi received a BSc degree in mathematics from the...

David Watt

male
computer scientist, algebraic semantics, Formalmethods, operational semantics, denotational semantics, Academic of the University of Glasgow
David Watt is a British computer scientist. Watt is a professor at the University of Glasgow, Scotland. With Peter Mosses he developed action...
David May

David May

male
University of Bristol, Moore's Law, professor, Occam programming language, Formalmethods, Academic of the University of Bristol
David May is a British chip designer and computer scientist. David May joined the British company INMOS in 1979, based in Bristol. Here he was the...

J. Alan Robinson

male, 79 years old
Journal editor, Syracuse University, automated reasoning, Formalmethods, expatriate in the United States, logic programming
J. Alan Robinson is a philosopher (by training), mathematician and computer scientist. He is University Professor Emeritus at Syracuse University,...
Evert Willem Beth

Evert Willem Beth

male, deceased (1964)
Erdős number 2, from Overijssel, dutch, philosopher, Formalmethods, Logician
Evert Willem Beth (July 7, 1908 - April 12, 1964) was a Dutch philosopher and logician, whose work principally concerned the foundations of...

John V. Tucker

male
John Vivian Tucker, analog signal, computability theory, recursion theory, Formalmethods, analogue
John Vivian Tucker (born 1952) is a British computer scientist and expert on computability theory, also known as recursion theory. His work has...

J. Anthony Hall

male
Employee of the British Museum, Academic of the University of Sheffield, Imperial Chemical Industries, National Air Traffic services, British Museum, Alumni of the University of Oxford…Formalmethods
J. Anthony Hall is a leading British software engineer specializing in the use of formal methods. Anthony Hall was educated at the University of...
Robert Floyd

Robert Floyd

male, deceased (2001)
Fellow of the Association for Computing Machinery, liberal arts, computer scientist, Turing Award laureate, Fellow of the ACM, Carnegie Mellon University…Formalmethods
Robert W Floyd (June 8, 1936 - September 25, 2001) was an eminent computer scientist. Born in New York, Floyd finished school at age 14. At the...
Joe Stoy

Joe Stoy

male
Oxford University, Programming Research Group, Oxford University Computing Laboratory, Formalmethods, denotational semantics, Balliol College, Oxford
Joe Stoy is a British computer scientist, although he originally studied physics at Oxford University. Early in his career, he worked on...
Michael Fourman

Michael Fourman

male, 59 years old
Columbia University faculty, Logician, Erdős number 3, Alumni of the University of Oxford, Academic of the University of Edinburgh, Formalmethods…formal model
Michael Paul Fourman, FBCS (born 1950-09-12) is Professor of Computer Systems, and Head of the School of Informatics at the University of Edinburgh...