  |
Barendregt, Henk - http://www.cs.ru.nl/~henk/
Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular. |
| |
Van Benthem, Johan - http://staff.science.uva.nl/~johan/
University of Amsterdam and Stanford University - Modal logic and a wide range of other areas in logic. |
| |
Forster, T. E. - http://www.dpmms.cam.ac.uk/~tf/
University of Cambridge - Set theory, type theory. |
| |
Pfenning, Frank - http://www.cs.cmu.edu/~fp/
Carnegie Mellon University - Logic and programming languages, logical frameworks, type theory. |
| |
Danos, Vincent - http://www.logique.jussieu.fr/www.danos/
University of Paris 7 - Proof theory, linear logic. |
| |
Parikh, Rohit - http://www.sci.brooklyn.cuny.edu/cis/parikh/
Brooklyn College - Reasoning about knowledge, belief revision, game theory, philosophy of language. |
| |
Makowsky, Johann (Janos) A. - http://www.cs.technion.ac.il/~janos/index.html
Technion, Israel - Logic in computer science, finite model theory. |
| |
Scott, Dana - http://www.cs.cmu.edu/~scott/
Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation. |
| |
Sipser, Michael - http://www-math.mit.edu/~sipser/index.html
MIT - Complexity theory. |
| |
Hyland, J. Martin E. - http://www.dpmms.cam.ac.uk/~martin/index.html
University of Cambridge - Categorical logic, game semantics and logic in computer science. |
| |
Hähnle, Reiner - http://www.cs.chalmers.se/~reiner/
Chalmers University of Technology, Sweden - Tableau-based automated theorem proving, many-valued logic, formal verification. |
| |
Moschovakis, Yiannis N. - http://www.math.ucla.edu/~ynm/
UCLA - Set theory, recursion theory. |
| |
Vereshchagin, Nikolai - http://lpcs.math.msu.su/~ver/
Moscow State University - Theory of computation, Intuitionistic logic |
| |
Shore, Richard A. - http://www.math.cornell.edu/~shore/
Cornell University - Recursion theory. |
| |
Plotkin, Gordon - http://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. |
| |
Levesque, Hector - http://www.cs.toronto.edu/~hector/
University of Toronto - Knowledge representation. |
| |
Zilber, Boris - http://people.maths.ox.ac.uk/~zilber/
University of Oxford - Model theory. |
| |
Miller, Dale - http://www.lix.polytechnique.fr/Labo/Dale.Miller/
INRIA Saclay - Île-de-France - Linear logic, proof search, automated reasoning, and declarative programming languages. |
| |
Pitts, Andrew - http://www.cl.cam.ac.uk/~amp12/
University of Cambridge - Categorical logic, type theory, semantics of programming languages and logic in computer science. |
| |
Chaitin, Gregory J. - http://www.cs.auckland.ac.nz/CDMTCS/chaitin/
IBM Research - Algorithmic information theory. |
| |
Sieg, Wilfried - http://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 - http://www.math.psu.edu/simpson/
Penn State University - Fuondations of mathematics and logic. |
| |
Scedrov, Andre - http://www.cis.upenn.edu/~scedrov/
University of Pennsylvania - Logic in computer science, linear logic. |
| |
Welch, Philip - http://www.maths.bris.ac.uk/~mapdw/
University of Bristol - Set theory, inner models, descriptive set theory. |
| |
Etchemendy, John - http://www-csli.stanford.edu/hp/etchemendy.html
Stanford University - Philosophical logic, semantics, and philosophy of language. |
| |
Blass, Andreas R. - http://www.math.lsa.umich.edu/~ablass/
University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science. |
| |
Feferman, Solomon - http://math.stanford.edu/~feferman/
Stanford University - Proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic. |
| |
Artemov, Sergei - http://web.cs.gc.cuny.edu/~sartemov/
City University of New York Graduate Center - Proof theory, logic of proofs. |
| |
Fitting, Melvin - http://comet.lehman.cuny.edu/fitting/
City University of New York - Logic in computer science, mathematics, philosophy. |
| |
Kechris, Alexander S. - http://www.math.caltech.edu/people/kechris.html
Caltech - Foundations of mathematics, mathematical logic and set theory, interactions with analysis. |
| |
Slaman, Theodore A. - http://www.math.berkeley.edu/~slaman/
University of California, Berkeley - Recursion theory. |
| |
Matiyasevich, Yuri - http://logic.pdmi.ras.ru/~yumat
Steklov Institute, St. Petersburg - Algorithmical number theory. |
| |
Carnielli, Walter A. - http://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. |
| |
Schmidt, Renate - http://www.cs.man.ac.uk/~schmidt/
University of Manchester - Modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation. |
| |
Awodey, Steve - http://www.andrew.cmu.edu/user/awodey/
Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic. |
| |
Friedman, Sy D. - http://www.logic.univie.ac.at/~sdf/
University of Vienna - Set theory. |
| |
Goldstern, Martin - http://info.tuwien.ac.at/goldstern/
University of Technology, Vienna - Set theory. |
| |
Moss, Lawrence - http://www.indiana.edu/~iulg/moss/
Indiana University - Applied logic. |
| |
Lempp, Steffen - http://www.math.wisc.edu/~lempp/
University of Wisconsin, Madison - Computability, recursion theory. |
| |
Regnier, Laurent - http://iml.univ-mrs.fr/~regnier/
University of Marseilles - Linear logic, lambda calculus and abstract machine interpretations. |
| |
Baldwin, John T. - http://www.math.uic.edu/~jbaldwin/
University of Illinois, Chicago - Model theory (finite and infinite). |
| |
Nerode, Anil - http://www.math.cornell.edu/~anil/
Cornell University - Computability theory, logic in computer science, history of logic. |
| |
Burris, Stanley - http://www.thoralf.uwaterloo.ca/
University of Waterloo - Universal algebra, logic, computers. |
| |
Carlstrom, Jesper - http://www.math.su.se/~jesper/
Stockholm University - Constructive type theory and related mathematics. |
| |
Hindley, J. R. - http://www-maths.swan.ac.uk/staff/jrh/
University of Wales, Swansea - Lambda-calculus, combinatory logic and type-theory. |
| |
Hjorth, Greg - http://www.math.ucla.edu/~greg/
UCLA - Descriptive set theory, countable models, definable equivalence relations. |
| |
Flum, Jörg - http://logik.mathematik.uni-freiburg.de/personen/Flum.html
University of Freiburg - Finite model theory. |
| |
Guglielmi, Alessio - http://alessio.guglielmi.name/
Technische Universitaet Dresden - Proof Theory. |
| |
Andrews, Peter B. - http://gtps.math.cmu.edu/andrews.html
Carnegie Mellon University - Type theory, automated theorem proving. |
| |
Aczel, Peter - http://www.cs.man.ac.uk/~petera/
University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic. |
| |
Kunen, Kenneth - http://www.math.wisc.edu/~kunen/
University of Wisconsin, Madison - Set theory. |
| |
Kaiser, Klaus - http://math.uh.edu/~klaus/
University of Houston - Mathematical logic, universal algebra, lattice theory and logic programming. |
| |
Buss, Samuel R. - http://math.ucsd.edu/~sbuss/
University of California, San Diego - Proof theory, computational complexity. |
| |
Jockusch, Carl G. - http://www.math.uiuc.edu/~jockusch/
University of Illinois, Urbana Champaign - Recursion theory. |
| |
Jech, Thomas - http://www.math.psu.edu/jech/
Pennsylvania State University - Set theory. |
| |
Holmes, Randall - http://diamond.boisestate.edu/~holmes/
Boise State University - Set theory: New Foundations, automated theorem proving. |
| |
Beklemishev, Lev - http://www.phil.uu.nl/~lev/
Utrecht University and Steklov Mathematical Institute of Moscow - Proof theory, modal logics. |
| |
Marker, David - http://www.math.uic.edu/~marker/
University of Illinois, Chicago - Model theory. |
| |
Lakemeyer, Gerhard - http://www-i5.informatik.rwth-aachen.de/gerhard/
Aachen University of Technology - Knowledge-based systems. |
| |
Cummings, James - http://www.math.cmu.edu/users/jcumming/
Carnegie Mellon University - Set theory. |
| |
Larson, Jean A. - http://www.math.ufl.edu/~jal/
University of Florida - Set theory, combinatorics. |
| |
Kanamori, Akihiro - http://math.bu.edu/people/aki/
Boston University - Set theory. |
| |
Taylor, Paul - http://www.monad.me.uk/
Foundations of mathematics and computation, category theory, abstract stone duality. |
| |
Enderton, Herbert B. - http://www.math.ucla.edu/~hbe/
UCLA - Recursion theory, definability theory. |
| |
Luo, Zhaohui - http://www.cs.rhul.ac.uk/~zhaohui/
University of London, UK - Type theory, theoretical computer science and semantics of natural languages. |
| |
Kastermans, Bart - http://www.bartk.nl/
University of Michigan - Set theory. |
| |
Pedicini, Marco - http://www.iac.rm.cnr.it/~marco/html
Institute for Applied Calculus, Rome - Theoretical computer science, linear logic, geometry of interaction, optimal reductions. |
| |
Nelson, Edward - http://www.math.princeton.edu/~nelson/index.html
Princeton University - Bounded arithmetic, automated proof verification (QED). |
| |
Gerla, Giangiacomo - http://www.dmi.unisa.it/people/gerla/www/
University of Salerno, Italy - Fuzzy logic, percentage logic, pointless geometry. |
| |
Knight, Julia F. - http://math.nd.edu/faculty/knight.shtml
University of Notre Dame - Recursion theory. |
| |
Kaye, Richard - http://for.mat.bham.ac.uk/R.W.Kaye/
University of Birmingham - Model theory. |
| |
Avigad, Jeremy - http://www.andrew.cmu.edu/user/avigad/
Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics. |
| |
Cholak, Peter - http://www.math.nd.edu/faculty/cholak.shtml
University of Notre Dame - Recursion theory. |
| |
Maddy, Penelope - http://www.lps.uci.edu/home/fac-staff/faculty/maddy/
University of California Irvine - Philosophy of logic and mathematics. |
| |
Lafont, Yves - http://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. |
| |
Mitchell, William - http://www.math.ufl.edu/~mitchell/
University of Florida - Set theory. |
| |
Ebbinghaus, Heinz-Dieter - http://logik.mathematik.uni-freiburg.de/personen/Ebbinghaus.html
University of Freiburg - Finite model theory. |
| |
Vickers, Steven - http://www.cs.bham.ac.uk/~sjv/
University of Birmingham, UK - Geometric logic, topos theory, quantales and semantics of programming languages. |
| |
Van Dalen, Dirk - http://www.phil.uu.nl/~dvdalen/
Utrecht University - Historical aspects of logic, philosophy of mathematics. |
| |
Prest, Mike - http://www.maths.man.ac.uk/~mprest/
University of Manchester - Algebra and model theory. |
| |
Soare, Robert I. - http://www.cs.uchicago.edu/~soare/
University of Chicago - Recursion theory. |
| |
McKenzie, Ralph - http://www.math.vanderbilt.edu/~mckenzie/
Vanderbildt University and UC Berkeley - Algebra, logic, combinatorics. |
| |
Solovay, Robert M. - http://www.math.berkeley.edu/~solovay/
University of California, Berkeley - Proof theory. |
| |
Dosen, Kosta - http://www.mi.sanu.ac.yu/~kosta/
University of Belgrade - Proof theory, category theory. |
| |
Pym, David J. - http://www.bath.ac.uk/~cssdjp/
University of Bath, UK - Semantics of programming languages, type theory, proof-search, logic programming, theorem proving. |
| |
Gehrke, Mai - http://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. |
| |
Vlad, Serban E. - http://site.voila.fr/serban_e_vlad/
Independent scholar, Bucharest - Asynchronous automata and binary valued mathematical analysis. |
| |
Wilkie, Alex - http://people.maths.ox.ac.uk/~wilkie/
Oxford University - Models of arithmetic. |
| |
Japaridze, Giorgi - http://www.csc.villanova.edu/~japaridz/
Villanova University - computability logic, game semantics, provability logic. |
| |
Setzer, Anton - http://www.math.uu.se/~setzer/
Uppsala University - proof theory (ordinal analysis), Martin-Löf type theory. |
| |
Lascar, Daniel - http://www.logique.jussieu.fr/www.lascar/
CNRS / University of Paris 7 - Model theory. |
| |
Lindell, Steven - http://www.haverford.edu/cmsc/slindell/
Haverford College - Finite model theory, descriptive complexity. |
| |
Ono, Hiroakira - http://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. |
| |
Bouscaren, Elisabeth - http://www.logique.jussieu.fr/www.elibou/
CNRS / University of Paris 7 - Model theory and algebraic geometry. |
| |
Ong, C.-H. Luke - http://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. |
| |
Wansing, Heinrich - http://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. |
| |
Howard, Paul - http://www.emunix.emich.edu/~phoward/
Eastern Michigan University - Axiom of choice. |
| |
Pollett, Chris - http://www.cs.sjsu.edu/faculty/pollett/
San Jose State University - Logic, bounded arithemtic, computational complexity and quantum computation. |
| |
Lessmann, Olivier - http://www.math.uic.edu/~lessmann/
University of Illinois, Chicago - Model theory. |
| |
Junker, Markus - http://sunpool.mathematik.uni-freiburg.de/home/junker/Junker-eng.html
University of Freiburg - Model theory. |
| |
Quigley, Peter - http://www.doc.mmu.ac.uk/STAFF/P.Quigley/
Manchester Metropolitan University - Computational logic, formal methods, formal specification, automated reasoning and proof planning. |
 |
Darnière, Luck - http://math.univ-angers.fr/~darniere/home_uk.html
University of Angers, France - Model theory. |
| |
Chatzidakis, Zoé - http://www.logique.jussieu.fr/www.zoe/
CNRS/University of Paris 7 - Model theory. |
| |
Zach, Richard - http://www.ucalgary.ca/~rzach/
University of Calgary - Non-classical logics, proof theory, philosophy of mathematics, history and philosophy of logic. |
| |
White, Graham - http://www.dcs.qmw.ac.uk/~graham/
Queen Mary and Westfield College, London - Philosophy and linear logic. |