See also:

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

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.

Detlefsen, Michael - - University of Notre Dame - Formal logic, philosophy of mathematics.

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.

Font, Josep Maria - - University of Barcelona - Algebraic logic.

Foreman, Matthew - - UC Irvine - Set theory.

Forster, T. E. - - University of Cambridge - Set theory, type theory.

Friedman, Harvey - - Ohio State University - Model theory, proof theory, intuitionism, recursion theory, set theory, complexity 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.

Insall, Matt - - University of Missouri, Rolla - Pure and applied logic, foundations, harmonic analysis, algebra, metric spaces.

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.

Mayberry, John - - University of Bristol. Foundations of mathematics. Publications, teaching material.

McKenzie, Ralph - - Vanderbildt University and UC Berkeley - Algebra, logic, combinatorics.

Mileti, Joe - - University of Illinois at Urbana-Champaign - Computability theory.

Miller, Dale - - Penn State University - Linear logic, proof search 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.

Paris, Jeff - - University of Manchester - Mathematical Logic, in particular uncertain reasoning.

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.

Pratt, Vaughan - - Stanford University - Linear logic, Chu spaces, foundations of mathematics, theoretical computer science and wearable computing.

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.

Razborov, Alexander - - Moscow Steklov Mathematical Institute - Boolean circuits.

Regnier, Laurent - - University of Marseilles - Linear logic, lambda calculus and abstract machine interpretations.

Restall, Greg - - Macquarie University - Philosophy of logic, substructural logics.

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.

Scott Weinstein - - University of Pennsylvania - Finite model theory, learning theory.

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.

Stewart, Charles - - Technische Universität Berlin, Theory and Formal Specifications group - Proof theoretic semantics, lambda calculus, linear logic, theoretical computer science, philosophy of language.

Taylor, Paul - - Queen Mary and Westfield College, London - Foundations of Mathematics and Computation.

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.

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.

Wilmers, George - - University of Manchester - Applications of mathematical logic in the foundations of uncertain reasoning; natural prior probability distributions in uncertain reasoning.

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.