Please forward this error screen to sharedip-16662261. Please help improve it about computer science corporation discuss these issues on the talk page. This list needs additional citations for verification. This article or section possibly contains synthesis of material which does not verifiably mention or relate to the main topic.

This article presents a list of individuals who made transformative breakthroughs in the creation, development and imagining of what computers and electronics could do. Arabic numerals popularised by al-Khwarizmi in his book “On the Calculation with Hindu Numerals”. Conceived and codesigned the Harvard Mark I. Developed bit vector notation and program control flow graphs.

Became the first female IBM Fellow in 1989. In 2006, she became the first female recipient of the ACM’s Turing Award. Berry Computer, though it was neither programmable nor Turing-complete. Originated the concept of a programmable general-purpose computer. Designed the Analytical Engine and built a prototype for a less powerful mechanical calculator. Naur form that described the formal language syntax.

Theorized of the concept of structured programming. Formalized Boolean algebra, the basis for digital logic and computer science. Developed the RC 4000 multiprogramming system which introduced the concept of an operating system kernel and the separation of policy and mechanism, effectively the first microkernel architecture. Originator of the Memex concept, which led to the development of Hypertext. With John Pinkerton, developed the LEO computer, the first business computer, for J.

Made contributions to computer science with his work in linguistics. He developed Chomsky hierarchy, a discovery which has directly impacted programming language theory and other branches of computer science. Founded contributions to theoretical computer science, specifically for the development of the lambda calculus and the discovery of the undecidability problem within it. Designed LINC, the first functional computer scaled down and priced for the individual user. Put in service in 1963, many of its features are seen as prototypes of what were to be essential elements of personal computers. Developed model checking and formal verification of software and hardware together with E. Proposed and formalized the relational model of data management, the theoretical basis of relational databases.

Formalized the notion of NP-completeness, inspiring a great deal of research in computational complexity theory. Tukey, created the fast Fourier transform. With Kristen Nygaard, invented the proto-object oriented language SIMULA. Made advances in algorithms, pioneered and coined the term structured programming, invented the semaphore, and famously suggested that the GOTO statement should be considered harmful.

UNIVAC I, the first commercially available computer. Developed model checking and formal verification of software and hardware together with Edmund M. Augment team developed hypertext, networked computers, and precursors to GUIs. Her team defined a simple text file format for Internet host names. The list evolved into the Domain Name System and her group became the naming authority for the top-level domains of .

Designed and built the Mark 1 and the ten improved Mark 2 Colossus computers, the world’s first programmable, digital, electronic, computing devices. Is known for her work on Transmission Control Protocol. Developed first-order predicate calculus, which was a crucial precursor requirement to developing computation theory. Proved that Peano axiomatized arithmetic could not be both logically consistent and complete in first-order predicate calculus.

Awarded the 2009 IEEE John von Neumann Medal for “contributions to programming language design and implementation and for exemplary service to the discipline of computer science”. Innovator in database systems and transaction processing implementation. Created the first computational model of discourse, which established the field of research and influenced language-processing technologies. Credited with coining the phrase “Software engineering” and developed the concepts of asynchronous software, priority scheduling, end-to-end testing, and human-in-the-loop decision capability, such as priority displays which then became the foundation for ultra reliable software design. Invention of the Micral N, the earliest commercial, non-kit personal computer based on a microprocessor. Hoare logic for verifying program correctness and Quicksort. Widely regarded as the father of modern machine data processing.