Founder, and Writer Jerry Yang Co-founder and former CEO of Yahoo! 1996 Edgar Frank Codd For the invention of the first abstract model for database management. Brinch Hansen, Per (November 1978). 1996 Antoni Kilinski For pioneering work in the construction of the first commercial computers in Poland, and for the development of university curriculum in computer science. Zalta, Edward.,. Floyd For early compilers. The bakery algorithm ). 1936 Stephen Cole Kleene Pioneered work with Alonzo Church on the Lambda Calculus that first laid down the foundations of computation theory.
25 1936 Alan Turing Made several founding contributions to computer science, including the Turing machine computational model, the conceiving of the stored program concept and the designing of the high-speed ACE design. 1986 Peter Naur For computer language development. Saul Rosen Designed the software of the first transistor-based computer. Haddad For his part in the lead IBM 701 design team. Became the first female, iBM. CS1 maint: Uses authors parameter ( link ). Wilkes CR "Microprogramming" Konrad Zuse CR "First Process Control Computer" Computing Now We Value Your Feedback.
1931 Kurt Gödel Proved that Peano axiomatized arithmetic could not be both logically consistent and complete in first-order predicate calculus. Retrieved November 15, 2009. Engelbart For human machine interaction.