See also:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Lafont, Yves  iml.univ-mrs.fr/~lafont/welcome.html 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  www-i5.informatik.rwth-aachen.de/gerhard Aachen University of Technology - Knowledge-based systems.

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

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

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

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

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

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

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

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

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

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

Marcos, João  www.geocities.com/jm_logica State University of Campinas, Brazil - Philosophical logic, paraconsistent, many-valued and modal logics.

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

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

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

Miller, Dale  www.lix.polytechnique.fr/Labo/Dale.Miller INRIA Saclay - Île-de-France - Linear logic, proof search, automated reasoning, and declarative programming languages.

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

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

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

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

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

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

Ong, C.-H. Luke  www.comlab.ox.ac.uk/people/Luke.Ong Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.

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

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

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

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

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

Plotkin, Gordon  www.inf.ed.ac.uk/people/staff/Gordon_Plotkin.html 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  www.cs.sjsu.edu/faculty/pollett San Jose State University - Logic, bounded arithemtic, computational complexity and quantum computation.

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

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

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

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

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

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

Rubin, Jean E.  www.math.purdue.edu/~jer Purdue University - Set theory, axiom of choice.

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

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

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

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

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

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

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

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

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

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

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

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

Taylor, Paul  www.monad.me.uk Foundations of mathematics and computation, category theory, abstract stone duality.

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

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

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

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

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

Wansing, Heinrich  www.uni-leipzig.de/~logik/wansing/wansing.html 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  members.cox.net/wehmeier UC Irvine - semantics and proof theory of intuitionistic arithmetic, logical analysis of modal discourse, the logic of Gottlob Frege.

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

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

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

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

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

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