Search results
Results from the WOW.Com Content Network
Helped establish and taught the first graduate course in computer science (at Harvard); invented the APL programming language; contributions to interactive computing 1801 Jacquard, Joseph Marie: Built and demonstrated the Jacquard loom, a programmable mechanized loom controlled by a tape constructed from punched cards 1206 Al-Jazari
The Science of Computing: Shaping a Discipline. Taylor and Francis / CRC Press. ISBN 978-1-4822-1769-8. Kak, Subhash : Computing Science in Ancient India; Munshiram Manoharlal Publishers Pvt. Ltd (2001) The Development of Computer Science: A Sociocultural Perspective Matti Tedre's Ph.D. Thesis, University of Joensuu (2006) Ceruzzi, Paul E. (1998).
John Vincent Atanasoff – computer pioneer, creator of Atanasoff Berry Computer (ABC) Shakuntala Atre – database theory; Lennart Augustsson – languages (Lazy ML, Cayenne), compilers (HBC Haskell, parallel Haskell front end, Bluespec SystemVerilog early), LPMud pioneer, NetBSD device drivers
Turing Test – The British mathematician and computer pioneer Alan Turing published a paper describing the potential development of human and computer intelligence and communication. The paper would come later to be called the Turing Test.
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
Louis Hodes – Lisp, pattern recognition, logic programming, cancer research; John Henry Holland – pioneer in what became known as genetic algorithms, developed Holland's schema theorem, Learning Classifier Systems; Allen Holub – author and public speaker, Agile Manifesto signatory; Grace Hopper – Harvard Mark I computer, FLOW-MATIC, COBOL
Emerson is recognized together with Edmund M. Clarke and Joseph Sifakis for the invention and development of model checking, a technique used in formal verification of software and hardware. [1] His contributions to temporal logic and modal logic include the introduction of computation tree logic (CTL) [ 2 ] and its extension CTL* , [ 3 ] which ...
Grace Brewster Hopper (née Murray; December 9, 1906 – January 1, 1992) was an American computer scientist, mathematician, and United States Navy rear admiral. [1] She was a pioneer of computer programming.