Artemov, Sergei
- City University of New York Graduate Center - Proof theory, logic of proofs.
- http://web.cs.gc.cuny.edu/~sartemov/

Herwig, Bernhard
- University of Freiburg - Model theory.
- http://home.mathematik.uni-freiburg.de/herwig/

Kastermans, Bart
- University of Michigan - Set theory.
- http://www.bartk.nl/

Moss, Lawrence
- Indiana University - Applied logic.
- http://www.indiana.edu/~iulg/moss/

Vereshchagin, Nikolai
- Moscow State University - Theory of computation, Intuitionistic logic
- http://lpcs.math.msu.su/~ver/

Vickers, Steven
- University of Birmingham, UK - Geometric logic, topos theory, quantales and semantics of programming languages.
- http://www.cs.bham.ac.uk/~sjv/

Friedman, Sy D.
- University of Vienna - Set theory.
- http://www.logic.univie.ac.at/~sdf/

Luo, Zhaohui
- University of London, UK - Type theory, theoretical computer science and semantics of natural languages.
- http://www.cs.rhul.ac.uk/~zhaohui/

Sieg, Wilfried
- Carnegie Mellon University - Proof theory, philosophy of mathematics, history of 19th and 20th century logic and mathematics.
- http://www.hss.cmu.edu/philosophy/faculty-sieg.php

Avigad, Jeremy
- Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.
- http://www.andrew.cmu.edu/user/avigad/

Cholak, Peter
- University of Notre Dame - Recursion theory.
- http://www.math.nd.edu/faculty/cholak.shtml

Knight, Julia F.
- University of Notre Dame - Recursion theory.
- http://math.nd.edu/faculty/knight.shtml

Taylor, Paul
- Queen Mary and Westfield College, London - Foundations of Mathematics and Computation.
- http://www.cs.man.ac.uk/~pt/

Maddy, Penelope
- University of California Irvine - Philosophy of logic and mathematics.
- http://www.lps.uci.edu/home/fac-staff/faculty/maddy/

Barendregt, Henk
- Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.
- http://www.cs.ru.nl/~henk/

Japaridze, Giorgi
- Villanova University - computability logic, game semantics, provability logic.
- http://www.csc.villanova.edu/~japaridz/

Andrews, Peter B.
- Carnegie Mellon University - Type theory, automated theorem proving.
- http://gtps.math.cmu.edu/andrews.html

Lakemeyer, Gerhard
- Aachen University of Technology - Knowledge-based systems.
- http://www-i5.informatik.rwth-aachen.de/gerhard/

Levesque, Hector
- University of Toronto - Knowledge representation.
- http://www.cs.toronto.edu/~hector/

Van Dalen, Dirk
- Utrecht University - Historical aspects of logic, philosophy of mathematics.
- http://www.phil.uu.nl/~dvdalen/

Ono, Hiroakira
- Japan Advanced Institute of Science and Technology - Nonclassical logic, substructural logics, logic of knowledge and belief, cumulative reasoning.
- http://www.jaist.ac.jp/is/labs/ono-ishihara-lab/members/ono.html

Dosen, Kosta
- University of Belgrade - Proof theory, category theory.
- http://www.mi.sanu.ac.yu/~kosta/

Leivant, Daniel
- Indiana University - Computational complexity.
- http://www.cs.indiana.edu/~leivant/

Lindell, Steven
- Haverford College - Finite model theory, descriptive complexity.
- http://www.haverford.edu/cmsc/slindell/

Beklemishev, Lev
- Utrecht University and Steklov Mathematical Institute of Moscow - Proof theory, modal logics.
- http://www.phil.uu.nl/~lev/

Van Benthem, Johan
- University of Amsterdam and Stanford University - Modal logic and a wide range of other areas in logic.
- http://staff.science.uva.nl/~johan/

Parikh, Rohit
- Brooklyn College - Reasoning about knowledge, belief revision, game theory, philosophy of language.
- http://www.sci.brooklyn.cuny.edu/cis/parikh/

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 c
- http://www.inf.ed.ac.uk/people/staff/Gordon_Plotkin.html

Guglielmi, Alessio
- Technische Universitaet Dresden - Proof Theory.
- http://alessio.guglielmi.name/

Wehmeier, Kai
- UC Irvine - semantics and proof theory of intuitionistic arithmetic, logical analysis of modal discourse, the logic of Gottlob Frege.
- http://members.cox.net/wehmeier/

Pollett, Chris
- San Jose State University - Logic, bounded arithemtic, computational complexity and quantum computation.
- http://www.cs.sjsu.edu/faculty/pollett/

Carlstrom, Jesper
- Stockholm University - Constructive type theory and related mathematics.
- http://www.math.su.se/~jesper/

Pym, David J.
- University of Bath, UK - Semantics of programming languages, type theory, proof-search, logic programming, theorem proving.
- http://www.bath.ac.uk/~cssdjp/

Simpson, George
- Penn State University - Fuondations of mathematics and logic.
- http://www.math.psu.edu/simpson/

Darnière, Luck
- University of Angers, France - Model theory.
- http://math.univ-angers.fr/~darniere/home_uk.html

Chatzidakis, Zoé
- CNRS/University of Paris 7 - Model theory.
- http://www.logique.jussieu.fr/www.zoe/

Hähnle, Reiner
- Chalmers University of Technology, Sweden - Tableau-based automated theorem proving, many-valued logic, formal verification.
- http://www.cs.chalmers.se/~reiner/

Hindley, J. R.
- University of Wales, Swansea - Lambda-calculus, combinatory logic and type-theory.
- http://www-maths.swan.ac.uk/staff/jrh/

Zilber, Boris
- University of Oxford - Model theory.
- http://www.maths.ox.ac.uk/~zilber/

Ziegler, Martin
- University of Freiburg - Model theory.
- http://logik.mathematik.uni-freiburg.de/personen/Ziegler.html

Zach, Richard
- University of Calgary - Non-classical logics, proof theory, philosophy of mathematics, history and philosophy of logic.
- http://www.ucalgary.ca/~rzach/

Wilkie, Alex
- Oxford University - Models of arithmetic.
- http://www.maths.ox.ac.uk/~wilkie/

White, Graham
- Queen Mary and Westfield College, London - Philosophy and linear logic.
- http://www.dcs.qmw.ac.uk/~graham/

Welch, Philip
- University of Bristol - Set theory, inner models, descriptive set theory.
- http://www.maths.bris.ac.uk/~mapdw/

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.
- http://www.uni-leipzig.de/~logik/wansing/wansing.html

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

Statman, Richard
- Carnegie Mellon University - Theory of computation, lambda calculus, combinatory logic.
- http://www.math.cmu.edu/people/fac/statman.html

Solovay, Robert M.
- University of California, Berkeley - Proof theory.
- http://www.math.berkeley.edu/~solovay/

Soare, Robert I.
- University of Chicago - Recursion theory.
- http://www.cs.uchicago.edu/~soare/

Slaman, Theodore A.
- University of California, Berkeley - Recursion theory.
- http://www.math.berkeley.edu/~slaman/

Sipser, Michael
- MIT - Complexity theory.
- http://www-math.mit.edu/~sipser/index.html

Shore, Richard A.
- Cornell University - Recursion theory.
- http://www.math.cornell.edu/~shore/

Setzer, Anton
- Uppsala University - proof theory (ordinal analysis), Martin-Löf type theory.
- http://www.math.uu.se/~setzer/

Vlad, Serban E.
- Independent scholar, Bucharest - Asynchronous automata and binary valued mathematical analysis.
- http://site.voila.fr/serban_e_vlad/

Scott, Dana
- Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation.
- http://www.cs.cmu.edu/~scott/

Schmidt, Renate
- University of Manchester - Modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation.
- http://www.cs.man.ac.uk/~schmidt/

Scedrov, Andre
- University of Pennsylvania - Logic in computer science, linear logic.
- http://www.cis.upenn.edu/~scedrov/

Robinson, Edmund
- Queen Mary and Westfield College - Categorical logic and the semantics of programming languages and type theories.
- http://www.dcs.qmw.ac.uk/~edmundr/

Regnier, Laurent
- University of Marseilles - Linear logic, lambda calculus and abstract machine interpretations.
- http://iml.univ-mrs.fr/~regnier/

Rathjen, Michael
- University of Leeds - Proof theory.
- http://www.amsta.leeds.ac.uk/Pure/staff/rathjen/rathjen.html

Quigley, Peter
- Manchester Metropolitan University - Computational logic, formal methods, formal specification, automated reasoning and proof planning.
- http://www.doc.mmu.ac.uk/STAFF/P.Quigley/

Prest, Mike
- University of Manchester - Algebra and model theory.
- http://www.maths.man.ac.uk/~mprest/

Pratt, Vaughan
- Stanford University - Linear logic, Chu spaces, foundations of mathematics, theoretical computer science and wearable computing.
- http://boole.stanford.edu/pratt.html

Pitts, Andrew
- University of Cambridge - Categorical logic, type theory, semantics of programming languages and logic in computer science.
- http://www.cl.cam.ac.uk/~amp12/

Pfenning, Frank
- Carnegie Mellon University - Logic and programming languages, logical frameworks, type theory.
- http://www.cs.cmu.edu/~fp/

Pedicini, Marco
- Institute for Applied Calculus, Rome - Theoretical computer science, linear logic, geometry of interaction, optimal reductions.
- http://www.iac.rm.cnr.it/~marco/html

Ong, C.-H. Luke
- Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.
- http://web.comlab.ox.ac.uk/oucl/people/luke.ong.html

Nerode, Anil
- Cornell University - Computability theory, logic in computer science, history of logic.
- http://www.math.cornell.edu/~anil/

Nelson, Edward
- Princeton University - Bounded arithmetic, automated proof verification (QED).
- http://www.math.princeton.edu/~nelson/index.html

Moschovakis, Yiannis N.
- UCLA - Set theory, recursion theory.
- http://www.math.ucla.edu/~ynm/

Moreno, Javier
- University of Illinois, Urbana-Champaign - Model theory and applications.
- http://www.math.uiuc.edu/~jamoreno

Monk, Donald
- University of Colorado, Boulder - Boolean algebras.
- http://www.colorado.edu/math/courses/monkd/

Mitchell, William
- University of Florida - Set theory.
- http://www.math.ufl.edu/~mitchell/

Miller, Dale
- Penn State University - Linear logic, proof search and declarative programming languages.
- http://www.cse.psu.edu/~dale/

McKenzie, Ralph
- Vanderbildt University and UC Berkeley - Algebra, logic, combinatorics.
- http://www.math.vanderbilt.edu/~mckenzie/

Matiyasevich, Yuri
- Steklov Institute, St. Petersburg - Algorithmical number theory.
- http://logic.pdmi.ras.ru/~yumat

Marker, David
- University of Illinois, Chicago - Model theory.
- http://www.math.uic.edu/~marker/

Makowsky, Johann (Janos) A.
- Technion, Israel - Logic in computer science, finite model theory.
- http://www.cs.technion.ac.il/~janos/index.html

Lessmann, Olivier
- University of Illinois, Chicago - Model theory.
- http://www.math.uic.edu/~lessmann/

Lempp, Steffen
- University of Wisconsin, Madison - Computability, recursion theory.
- http://www.math.wisc.edu/~lempp/

Lascar, Daniel
- CNRS / University of Paris 7 - Model theory.
- http://www.logique.jussieu.fr/www.lascar/

Larson, Jean A.
- University of Florida - Set theory, combinatorics.
- http://www.math.ufl.edu/~jal/

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.
- http://iml.univ-mrs.fr/~lafont/welcome.html

Kunen, Kenneth
- University of Wisconsin, Madison - Set theory.
- http://www.math.wisc.edu/~kunen/

Kechris, Alexander S.
- Caltech - Foundations of mathematics, mathematical logic and set theory, interactions with analysis.
- http://www.math.caltech.edu/people/kechris.html

Kaye, Richard
- University of Birmingham - Model theory.
- http://for.mat.bham.ac.uk/R.W.Kaye/

Kanamori, Akihiro
- Boston University - Set theory.
- http://math.bu.edu/people/aki/

Kaiser, Klaus
- University of Houston - Mathematical logic, universal algebra, lattice theory and logic programming.
- http://math.uh.edu/~klaus/

Junker, Markus
- University of Freiburg - Model theory.
- http://sunpool.mathematik.uni-freiburg.de/home/junker/Junker-eng.html

Jockusch, Carl G.
- University of Illinois, Urbana Champaign - Recursion theory.
- http://www.math.uiuc.edu/~jockusch/

Jech, Thomas
- Pennsylvania State University - Set theory.
- http://www.math.psu.edu/jech/

Hyland, J. Martin E.
- University of Cambridge - Categorical logic, game semantics and logic in computer science.
- http://www.dpmms.cam.ac.uk/~martin/index.html

Hustadt, Ullrich
- University of Liverpool - Resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic.
- http://www.csc.liv.ac.uk/~ullrich/

Howard, Paul
- Eastern Michigan University - Axiom of choice.
- http://www.emunix.emich.edu/~phoward/

Holmes, Randall
- Boise State University - Set theory: New Foundations, automated theorem proving.
- http://diamond.boisestate.edu/~holmes/

Hodges, Wilfrid
- University of London - Model theory.
- http://www.maths.qmw.ac.uk/~wilfrid/

Hjorth, Greg
- UCLA - Descriptive set theory, countable models, definable equivalence relations.
- http://www.math.ucla.edu/~greg/

Grossberg, Rami
- Carnegie Mellon University - Model theory.
- http://www.math.cmu.edu/users/rami/

Goldstern, Martin
- University of Technology, Vienna - Set theory.
- http://info.tuwien.ac.at/goldstern/

Gerla, Giangiacomo
- University of Salerno, Italy - Fuzzy logic, percentage logic, pointless geometry.
- http://www.dmi.unisa.it/people/gerla/www/

Gehrke, Mai
- New Mexico State University - Nonstandard mathematics, operators on boolean algebras, fuzzy mathematics, universal algebra, general topology, posets and lattices.
- http://www.math.nmsu.edu/mgehrke/mgehrke.html

Forster, T. E.
- University of Cambridge - Set theory, type theory.
- http://www.dpmms.cam.ac.uk/~tf/

Foreman, Matthew
- UC Irvine - Set theory.
- http://www.math.uci.edu/faculty/mforeman.html

Flum, Jörg
- University of Freiburg - Finite model theory.
- http://logik.mathematik.uni-freiburg.de/personen/Flum.html

Fitting, Melvin
- City University of New York - Logic in computer science, mathematics, philosophy.
- http://comet.lehman.cuny.edu/fitting/

Feferman, Solomon
- Stanford University - Proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic.
- http://math.stanford.edu/~feferman/

Etchemendy, John
- Stanford University - Philosophical logic, semantics, and philosophy of language.
- http://www-csli.stanford.edu/hp/etchemendy.html

Enderton, Herbert B.
- UCLA - Recursion theory, definability theory.
- http://www.math.ucla.edu/~hbe/

Ebbinghaus, Heinz-Dieter
- University of Freiburg - Finite model theory.
- http://logik.mathematik.uni-freiburg.de/personen/Ebbinghaus.html

Danos, Vincent
- University of Paris 7 - Proof theory, linear logic.
- http://www.logique.jussieu.fr/www.danos/

Cummings, James
- Carnegie Mellon University - Set theory.
- http://www.math.cmu.edu/users/jcumming/

Chaitin, Gregory J.
- IBM Research - Algorithmic information theory.
- http://www.cs.auckland.ac.nz/CDMTCS/chaitin/

Carnielli, Walter A.
- State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics, paraconsistent logics, finite and infinite combinatorics.
- http://www.unicamp.br/cle/carniell.htm

Buss, Samuel R.
- University of California, San Diego - Proof theory, computational complexity.
- http://math.ucsd.edu/~sbuss/

Burris, Stanley
- University of Waterloo - Universal algebra, logic, computers.
- http://www.thoralf.uwaterloo.ca/

Buechler, Steven
- University of Notre Dame - Model theory.
- http://www.nd.edu/~steve/

Bouscaren, Elisabeth
- CNRS / University of Paris 7 - Model theory and algebraic geometry.
- http://www.logique.jussieu.fr/www.elibou/

Blass, Andreas R.
- University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.
- http://www.math.lsa.umich.edu/~ablass/

Bartoszynski, Tomek
- Boise State University - Set theory.
- http://diamond.boisestate.edu/~tomek/

Baldwin, John T.
- University of Illinois, Chicago - Model theory (finite and infinite).
- http://www.math.uic.edu/~jbaldwin/

Awodey, Steve
- Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
- http://www.andrew.cmu.edu/user/awodey/

Aczel, Peter
- University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.
- http://www.cs.man.ac.uk/~petera/