Peter Naur was a Danish computer science pioneer and 2005 Turing award winner. He is best remembered as a contributor, with John Backus, to the Backus–Naur form (BNF) notation used in describing the syntax for most programming languages. He also contributed to creating the language ALGOL 60.
Naur in 2008
Computer science is the study of computation, information, and automation. Computer science spans theoretical disciplines to applied disciplines.
Gottfried Wilhelm Leibniz (1646–1716) developed logic in a binary number system and has been called the "founder of computer science".
Ada Lovelace published the first algorithm intended for processing on a computer.
Image: Hamming
Image: Coq plus comm screenshot