#: 441 - 450

Developed the LEO computer the first business computer, for J. Lyons and Co (1951)

442

Vint Cerf

1943-JAVKompiuterių Mokslas

Designed the Transmission Control Protocol and Internet Protocol (TCP/IP), the primary data communication protocols of the Internet and other computer networks. (1978)

443

Noam Chomsky

1928-JAVKompiuterių Mokslas

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. (1956)

444

Alonzo Church

1903-1995JAVKompiuterių Mokslas, Matematika

Founded contributions to theoretical computer science, specifically for the development of the lambda calculus and the discovery of the undecidability problem within it. (1936)

445

Edmund M. Clarke

1945-JAVKompiuterių Mokslas

Developed model checking and formal verification of software and hardware together with E. Allen Emerson. (1981)

446

Stephen Cook

Kompiuterių Mokslas

Formalized the notion of NP-completeness, inspiring a great deal of research in computational complexity theory. (1971)