Search results
Results from the WOW.Com Content Network
[1] [2] [3] 1970, 1989 Allen, Frances E. Developed bit vector notation and program control-flow graphs; first female IBM Fellow (1989); first female recipient of the ACM's Turing Award (2006). 1954, 1964, 1967 Amdahl, Gene: Pioneer of mainframe computing; designed IBM 704; chief architect of IBM System/360.
John Alan Robinson (9 March 1930 – 5 August 2016) was a philosopher, mathematician, and computer scientist.He was a professor emeritus at Syracuse University.. Alan Robinson's major contribution is to the foundations of automated theorem proving.
Robert Anthony Kowalski (born 15 May 1941) is an American-British logician and computer scientist, whose research is concerned with developing both human-oriented models of computing and computational models of human thinking. [1] He has spent most of his career in the United Kingdom.
Neil J. Gunther – computer performance analysis, capacity planning; Jürg Gutknecht – with Niklaus Wirth: Lilith computer; Modula-2, Oberon, Zonnon programming languages; Oberon operating system; Michael Guy – Phoenix, work on number theory, computer algebra, higher dimension polyhedra theory; with John Horton Conway
Stephen Cole Kleene (/ ˈ k l eɪ n i / KLAY-nee; [a] January 5, 1909 – January 25, 1994) was an American mathematician.One of the students of Alonzo Church, Kleene, along with Rózsa Péter, Alan Turing, Emil Post, and others, is best known as a founder of the branch of mathematical logic known as recursion theory, which subsequently helped to provide the foundations of theoretical computer ...
Allen Newell (March 19, 1927 – July 19, 1992) was an American researcher in computer science and cognitive psychology at the RAND Corporation and at Carnegie Mellon University's School of Computer Science, Tepper School of Business, and Department of Psychology.
Alonzo Church (June 14, 1903 – August 11, 1995) was an American computer scientist, mathematician, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science. [2]
The History of Computing by J.A.N. Lee "Things that Count: the rise and fall of calculators" The History of Computing Project; SIG on Computers, Information and Society of the Society for the History of Technology; The Modern History of Computing; A Chronology of Digital Computing Machines (to 1952) by Mark Brader