See also:

• Science: Math: Logic and Foundations: History: People  (82)

• Aczel, Peter - University of Manchester + Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.
• Andrews, Peter B. - Carnegie Mellon University + Type theory, automated theorem proving.
• Artemov, Sergei - City University of New York Graduate Center + Proof theory, logic of proofs.
• Avigad, Jeremy - Carnegie Mellon University + Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.
• Awodey, Steve - Carnegie Mellon University + Category theory, logic, history and philosophy of mathematics and logic.
• Baldwin, John T. - University of Illinois, Chicago + Model theory (finite and infinite).
• Barendregt, Henk - Radboud University Nijmegen + Lambda calculus, type theory and formalising mathematical vernacular.
• Bartoszynski, Tomek - Boise State University + Set theory.
• Beklemishev, Lev - Utrecht University and Steklov Mathematical Institute of Moscow + Proof theory, modal logics.
• Blass, Andreas R. - University of Michigan, Ann Arbor + Set theory, finite combinatorics, theoretical computer science.
• Bouscaren, Elisabeth - CNRS - University of Paris 7 + Model theory and algebraic geometry.
• Buechler, Steven - University of Notre Dame + Model theory.
• Burris, Stanley - University of Waterloo + Universal algebra, logic, computers.
• Buss, Samuel R. - University of California, San Diego + Proof theory, computational complexity.
• Carlstrom, Jesper - Stockholm University + Constructive type theory and related mathematics.
• Carnielli, Walter A. - State University of Campinas, Brazil + Foundations of non+classical logics, many+valued logics, paraconsistent logics, finite and infinite combinatorics.
• Chaitin, Gregory J. - IBM Research + Algorithmic information theory.
• Chatzidakis, Zoé - CNRS-University of Paris 7 + Model theory.
• Cholak, Peter - University of Notre Dame + Recursion theory.
• Cummings, James - Carnegie Mellon University + Set theory.
• Danos, Vincent - University of Paris 7 + Proof theory, linear logic.
• Darnière, Luck - University of Angers, France + Model theory.
• Dosen, Kosta - University of Belgrade + Proof theory, category theory.
• Ebbinghaus, Heinz+Dieter - University of Freiburg + Finite model theory.
• Enderton, Herbert B. - UCLA + Recursion theory, definability theory.
• Etchemendy, John - Stanford University + Philosophical logic, semantics, and philosophy of language.
• Feferman, Solomon - Stanford University + Proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic.
• Fitting, Melvin - City University of New York + Logic in computer science, mathematics, philosophy.
• Flum, Jörg - University of Freiburg + Finite model theory.
• Foreman, Matthew - UC Irvine + Set theory.
• Forster, T. E. - University of Cambridge + Set theory, type theory.
• Friedman, Sy D. - University of Vienna + Set theory.
• Gehrke, Mai - New Mexico State University + Nonstandard mathematics, operators on boolean algebras, fuzzy mathematics, universal algebra, general topology, posets and lattices.
• Gerla, Giangiacomo - University of Salerno, Italy + Fuzzy logic, percentage logic, pointless geometry.
• Goldstern, Martin - University of Technology, Vienna + Set theory.
• Grossberg, Rami - Carnegie Mellon University + Model theory.
• Guglielmi, Alessio - Technische Universitaet Dresden + Proof Theory.
• Hähnle, Reiner - Chalmers University of Technology, Sweden + Tableau+based automated theorem proving, many+valued logic, formal verification.
• Herwig, Bernhard - University of Freiburg + Model theory.
• Hindley, J. R. - University of Wales, Swansea + Lambda+calculus, combinatory logic and type+theory.
• Hjorth, Greg - UCLA + Descriptive set theory, countable models, definable equivalence relations.
• Hodges, Wilfrid - University of London + Model theory.
• Holmes, Randall - Boise State University + Set theory: New Foundations, automated theorem proving.
• Howard, Paul - Eastern Michigan University + Axiom of choice.
• Hustadt, Ullrich - University of Liverpool + Resolution+based and tableaux+based decision procedures for decidable fragments of first+order logic.
• Hyland, J. Martin E. - University of Cambridge + Categorical logic, game semantics and logic in computer science.
• Japaridze, Giorgi - Villanova University + computability logic, game semantics, provability logic.
• Jech, Thomas - Pennsylvania State University + Set theory.
• Jockusch, Carl G. - University of Illinois, Urbana Champaign + Recursion theory.
• Junker, Markus - University of Freiburg + Model theory.
• Kaiser, Klaus - University of Houston + Mathematical logic, universal algebra, lattice theory and logic programming.
• Kanamori, Akihiro - Boston University + Set theory.
• Kastermans, Bart - University of Michigan + Set theory.
• Kaye, Richard - University of Birmingham + Model theory.
• Kechris, Alexander S. - Caltech + Foundations of mathematics, mathematical logic and set theory, interactions with analysis.
• Knight, Julia F. - University of Notre Dame + Recursion theory.
• Kunen, Kenneth - University of Wisconsin, Madison + Set theory.
• Lafont, Yves - University of Marseille II + Linear logic, lambda calculus, proof theory, term rewriting. Lafont invented the theory of interaction nets, an elegant theory of graph rewriting.
• Lakemeyer, Gerhard - Aachen University of Technology + Knowledge+based systems.
• Larson, Jean A. - University of Florida + Set theory, combinatorics.
• Lascar, Daniel - CNRS - University of Paris 7 + Model theory.
• Leivant, Daniel - Indiana University + Computational complexity.
• Lempp, Steffen - University of Wisconsin, Madison + Computability, recursion theory.
• Lessmann, Olivier - University of Illinois, Chicago + Model theory.
• Levesque, Hector - University of Toronto + Knowledge representation.
• Lindell, Steven - Haverford College + Finite model theory, descriptive complexity.
• Luo, Zhaohui - University of London, UK + Type theory, theoretical computer science and semantics of natural languages.
• Maddy, Penelope - University of California Irvine + Philosophy of logic and mathematics.
• Makowsky, Johann (Janos) A. - Technion, Israel + Logic in computer science, finite model theory.
• Marcos, João - State University of Campinas, Brazil + Philosophical logic, paraconsistent, many+valued and modal logics.
• Marker, David - University of Illinois, Chicago + Model theory.
• Matiyasevich, Yuri - Steklov Institute, St. Petersburg + Algorithmical number theory.
• McKenzie, Ralph - Vanderbildt University and UC Berkeley + Algebra, logic, combinatorics.
• Miller, Dale - INRIA Saclay + Île+de+France + Linear logic, proof search, automated reasoning, and declarative programming languages.
• Mitchell, William - University of Florida + Set theory.
• Monk, Donald - University of Colorado, Boulder + Boolean algebras.
• Moreno, Javier - University of Illinois, Urbana+Champaign + Model theory and applications.
• Moschovakis, Yiannis N. - UCLA + Set theory, recursion theory.
• Moss, Lawrence - Indiana University + Applied logic.
• Nelson, Edward - Princeton University + Bounded arithmetic, automated proof verification (QED).
• Nerode, Anil - Cornell University + Computability theory, logic in computer science, history of logic.
• Ong, C.+H. Luke - Merton College, Oxford + Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.
• Ono, Hiroakira - Japan Advanced Institute of Science and Technology + Nonclassical logic, substructural logics, logic of knowledge and belief, cumulative reasoning.
• Parikh, Rohit - Brooklyn College + Reasoning about knowledge, belief revision, game theory, philosophy of language.
• Pedicini, Marco - Institute for Applied Calculus, Rome + Theoretical computer science, linear logic, geometry of interaction, optimal reductions.
• Pfenning, Frank - Carnegie Mellon University + Logic and programming languages, logical frameworks, type theory.
• Pitts, Andrew - University of Cambridge + Categorical logic, type theory, semantics of programming languages and logic in computer science.
• Plotkin, Gordon - Institute for Communicating and Collaborative Systems, UK + denotational and operational semantics of programming languages, type theory; domain+theoretic and categorical analyses of computation, proof theory, the semantics of natural language, process calculi, computational biology.
• Pollett, Chris - San Jose State University + Logic, bounded arithemtic, computational complexity and quantum computation.
• Prest, Mike - University of Manchester + Algebra and model theory.
• Pym, David J. - University of Bath, UK + Semantics of programming languages, type theory, proof+search, logic programming, theorem proving.
• Quigley, Peter - Manchester Metropolitan University + Computational logic, formal methods, formal specification, automated reasoning and proof planning.
• Rathjen, Michael - University of Leeds + Proof theory.
• Regnier, Laurent - University of Marseilles + Linear logic, lambda calculus and abstract machine interpretations.
• Robinson, Edmund - Queen Mary and Westfield College + Categorical logic and the semantics of programming languages and type theories.
• Rubin, Jean E. - Purdue University + Set theory, axiom of choice.
• Scedrov, Andre - University of Pennsylvania + Logic in computer science, linear logic.
• Schmidt, Renate - University of Manchester + Modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation.
• Scott, Dana - Carnegie Mellon University + Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation.
• Setzer, Anton - Uppsala University + proof theory (ordinal analysis), Martin+Löf type theory.
• Shore, Richard A. - Cornell University + Recursion theory.
• Sieg, Wilfried - Carnegie Mellon University + Proof theory, philosophy of mathematics, history of 19th and 20th century logic and mathematics.
• Simpson, George - Penn State University + Fuondations of mathematics and logic.
• Sipser, Michael - MIT + Complexity theory.
• Slaman, Theodore A. - University of California, Berkeley + Recursion theory.
• Soare, Robert I. - University of Chicago + Recursion theory.
• Solovay, Robert M. - University of California, Berkeley + Proof theory.
• Statman, Richard - Carnegie Mellon University + Theory of computation, lambda calculus, combinatory logic.
• Taylor, Paul - Foundations of mathematics and computation, category theory, abstract stone duality.
• Van Benthem, Johan - University of Amsterdam and Stanford University + Modal logic and a wide range of other areas in logic.
• Van Dalen, Dirk - Utrecht University + Historical aspects of logic, philosophy of mathematics.
• Vereshchagin, Nikolai - Moscow State University + Theory of computation, Intuitionistic logic
• Vickers, Steven - University of Birmingham, UK + Geometric logic, topos theory, quantales and semantics of programming languages.
• Vlad, Serban E. - Independent scholar, Bucharest + Asynchronous automata and binary valued mathematical analysis.
• Wansing, Heinrich - Institute of Logic and the Philosophy of Science, Leipzig + Substructural and non+classical logics, modal logic, proof+theoretic semantics, philosophy of logic, philosophy of language.
• Wehmeier, Kai - UC Irvine + semantics and proof theory of intuitionistic arithmetic, logical analysis of modal discourse, the logic of Gottlob Frege.
• Welch, Philip - University of Bristol + Set theory, inner models, descriptive set theory.
• White, Graham - Queen Mary and Westfield College, London + Philosophy and linear logic.
• Wilkie, Alex - Oxford University + Models of arithmetic.
• Zach, Richard - University of Calgary + Non+classical logics, proof theory, philosophy of mathematics, history and philosophy of logic.
• Ziegler, Martin - University of Freiburg + Model theory.
• Zilber, Boris - University of Oxford + Model theory.