Tribute to Computer Scientists
Stephen Kleene
An American mathematician and logician best known as a founder of the branch of mathematical logic known as recursion theory, which subsequently helped to provide the foundations of theoretical computer science.
Kleene's work grounds the study of computable functions. A number of mathematical concepts are named after him: Kleene hierarchy, Kleene algebra, the Kleene star (Kleene closure), Kleene's recursion theorem and the Kleene fixed-point theorem.
He also invented regular expressions in 1951 to describe McCulloch-Pitts neural networks, and made significant contributions to the foundations of mathematical intuitionism.
https://en.wikipedia.org/wiki/Stephen_Cole_Kleene
Rózsa Péter
A Hungarian mathematician and logician. She is best known as the "founding mother of recursion theory".
https://en.wikipedia.org/wiki/R%C3%B3zsa_P%C3%A9ter
Margaret Hamilton
an American computer scientist. She directed the Software Engineering Division at the MIT Instrumentation Laboratory, where she led the development of the on-board flight software for NASA's Apollo Guidance Computer for the Apollo program. She later founded two software companies, Higher Order Software in 1976 and Hamilton Technologies in 1986, both in Cambridge, Massachusetts.
https://en.wikipedia.org/wiki/Margaret_Hamilton_(software_engineer)
Katherine Johnson
An American computer scientist whose calculations of orbital mechanics as a NASA employee were critical to the success of the first and subsequent U.S. crewed spaceflights.[1][2] During her 33-year career at NASA and its predecessor, the National Advisory Committee for Aeronautics, she earned a reputation for mastering complex manual calculations and helped pioneer the use of computers to perform tasks previously requiring humans.
https://en.wikipedia.org/wiki/Katherine_Johnson
Grace Hopper
An American computer scientist, mathematician, and United States Navy rear admiral. She was a pioneer of computer programming. Hopper was the first to devise the theory of machine-independent programming languages, and used this theory to develop the FLOW-MATIC programming language and COBOL, an early high-level programming language still in use today.
https://en.wikipedia.org/wiki/Grace_Hopper
Emil Post
An American mathematician and logician. He is best known for his work in the field that eventually became known as computability theory.
https://en.wikipedia.org/wiki/Emil_Leon_Post
Clarence Ellis
an American computer scientist, and Emeritus Professor of Computer Science and Cognitive Science at the University of Colorado at Boulder. While at the CU-Boulder, he was the director of the Collaboration Technology Research Group and a member of the Institute of Cognitive Science. Ellis was the first Black Person to earn a Ph.D. in Computer Science (1969), and the first Black Person to be elected a Fellow of the ACM (1997). Ellis was a pioneer in Computer Supported Cooperative Work and Groupware. He and his team at Xerox PARC created OfficeTalk, one of the first groupware systems. Ellis also pioneered operational transformation, which is a set of techniques that enables real-time collaborative editing of documents.
https://en.wikipedia.org/wiki/Clarence_Ellis_(computer_scientist)
Cassius Keyser
An American mathematician of pronounced philosophical inclinations.
https://en.wikipedia.org/wiki/Cassius_Jackson_Keyser
Annie Easley
computer scientist who contributed significantly to the beginning iterations of NASA’s rocket technologies. Easley was born in 1933 in Birmingham, Alabama, raised by a single mother. Segregation disallowed Annie from many normal job opportunities that others of different color and gender might get, but her mother strived for her to have a good education nonetheless. Her innovation in programming technologies, energy-conversion, and shuttle launches made her a significant part of NASA’s history and addressed a major pain point they had at the time: lack of interdisciplinary mathematicians and programmers
https://en.wikipedia.org/wiki/Annie_Easley
Alan Turing
An English mathematician, computer scientist, logician, cryptanalyst, philosopher and theoretical biologist. He was highly influential in the development of theoretical computer science, providing a formalization of the concepts of algorithm and computation with the Turing machine, which can be considered a model of a general-purpose computer. Turing is widely considered to be the father of theoretical computer science.
https://en.wikipedia.org/wiki/Alan_Turing
Rózsa Péter
A Hungarian mathematician and logician. She is best known as the "founding mother of recursion theory".
https://en.wikipedia.org/wiki/R%C3%B3zsa_P%C3%A9ter
Katherine Johnson
An American computer scientist whose calculations of orbital mechanics as a NASA employee were critical to the success of the first and subsequent U.S. crewed spaceflights.[1][2] During her 33-year career at NASA and its predecessor, the National Advisory Committee for Aeronautics, she earned a reputation for mastering complex manual calculations and helped pioneer the use of computers to perform tasks previously requiring humans.
https://en.wikipedia.org/wiki/Katherine_Johnson
Clarence Ellis
an American computer scientist, and Emeritus Professor of Computer Science and Cognitive Science at the University of Colorado at Boulder. While at the CU-Boulder, he was the director of the Collaboration Technology Research Group and a member of the Institute of Cognitive Science. Ellis was the first Black Person to earn a Ph.D. in Computer Science (1969), and the first Black Person to be elected a Fellow of the ACM (1997). Ellis was a pioneer in Computer Supported Cooperative Work and Groupware. He and his team at Xerox PARC created OfficeTalk, one of the first groupware systems. Ellis also pioneered operational transformation, which is a set of techniques that enables real-time collaborative editing of documents.
https://en.wikipedia.org/wiki/Clarence_Ellis_(computer_scientist)
Grace Hopper
An American computer scientist, mathematician, and United States Navy rear admiral. She was a pioneer of computer programming. Hopper was the first to devise the theory of machine-independent programming languages, and used this theory to develop the FLOW-MATIC programming language and COBOL, an early high-level programming language still in use today.
https://en.wikipedia.org/wiki/Grace_Hopper
Margaret Hamilton
an American computer scientist. She directed the Software Engineering Division at the MIT Instrumentation Laboratory, where she led the development of the on-board flight software for NASA's Apollo Guidance Computer for the Apollo program. She later founded two software companies, Higher Order Software in 1976 and Hamilton Technologies in 1986, both in Cambridge, Massachusetts.
https://en.wikipedia.org/wiki/Margaret_Hamilton_(software_engineer)
Stephen Kleene
An American mathematician and logician best known as a founder of the branch of mathematical logic known as recursion theory, which subsequently helped to provide the foundations of theoretical computer science.
Kleene's work grounds the study of computable functions. A number of mathematical concepts are named after him: Kleene hierarchy, Kleene algebra, the Kleene star (Kleene closure), Kleene's recursion theorem and the Kleene fixed-point theorem.
He also invented regular expressions in 1951 to describe McCulloch-Pitts neural networks, and made significant contributions to the foundations of mathematical intuitionism.
https://en.wikipedia.org/wiki/Stephen_Cole_Kleene
Emil Post
An American mathematician and logician. He is best known for his work in the field that eventually became known as computability theory.
https://en.wikipedia.org/wiki/Emil_Leon_Post
Cassius Keyser
An American mathematician of pronounced philosophical inclinations.
https://en.wikipedia.org/wiki/Cassius_Jackson_Keyser
Alan Turing
An English mathematician, computer scientist, logician, cryptanalyst, philosopher and theoretical biologist. He was highly influential in the development of theoretical computer science, providing a formalization of the concepts of algorithm and computation with the Turing machine, which can be considered a model of a general-purpose computer. Turing is widely considered to be the father of theoretical computer science.
https://en.wikipedia.org/wiki/Alan_Turing
Annie Easley
computer scientist who contributed significantly to the beginning iterations of NASA’s rocket technologies. Easley was born in 1933 in Birmingham, Alabama, raised by a single mother. Segregation disallowed Annie from many normal job opportunities that others of different color and gender might get, but her mother strived for her to have a good education nonetheless. Her innovation in programming technologies, energy-conversion, and shuttle launches made her a significant part of NASA’s history and addressed a major pain point they had at the time: lack of interdisciplinary mathematicians and programmers
https://en.wikipedia.org/wiki/Annie_Easley
sign in