CS 849: Picture Gallery

• George Boole, who studied the propositional connectives.
• Gottlob Frege, the originator of modern predicate calculus.
• David Hilbert, who popularized the notions of axioms and inference rules.
• L. E. J. Brouwer, champion of the intuitionist point of view.
• Gerhardt Gentzen, originator of natural deduction proof systems.
• Ada Augusta Lovelace, the world's first computer programmer.
• Dana Scott, the first to define the semantics of programming languages.
• John Backus, inventor of Fortran and Backus Normal Form (BNF).
• Gordon Plotkin, who studied and popularized structured operational semantics.
• Jacques Herbrand, discoverer of unification.
• Alan Robinson, discoverer of resolution theorem proving and maximally general unifiers.
• Alain Colmerauer, inventor of Prolog.
• Robert Kowalski, who described precisely the semantics of Prolog.
• John Mccarthy, originator of Lisp and functional programming.
• Alonzo Church, who defined the lambda calculus.
• Niklaus Wirth (left) and Kristen Nygaard (right). Wirth invented Pascal; Nygaard invented Simula, the first object-oriented programming language.
• Adele Goldberg, co-inventor of Smalltalk, the first really popular object-oriented language.
• Robin Milner, who precisely described type systems.