Directory of People Resources

Home > Science > Math > Logic and Foundations > People

Websites of active academic logicians.

Subcategories

• Students and Independent Scholars

Resources in This Category

• Aczel, Peter

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

• Andrews, Peter B.

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

• Avigad, Jeremy

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

• Awodey, Steve

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

• Baldwin, John T.

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

• Barendregt, Henk

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

• Beklemishev, Lev

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

• Blass, Andreas R.

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

• Buechler, Steven

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

• Burris, Stanley

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

• Buss, Samuel R.

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

• Cummings, James

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

• Darnière, Luck

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

• Ebbinghaus, Heinz-Dieter

  http://home.mathematik.uni-freiburg.de/hde/Ebbinghaus.html
  University of Freiburg - Finite model theory.

• Feferman, Solomon

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

• Fitting, Melvin

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

• Flum, Jörg

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

• Forster, T. E.

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

• Friedman, Sy D.

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

• Gerla, Giangiacomo

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

• Goldstern, Martin

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

• Grossberg, Rami

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

• Guglielmi, Alessio

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

• Herwig, Bernhard

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

• Hjorth, Greg

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

• Hodges, Wilfrid

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

• Holmes, Randall

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

• Howard, Paul

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

• Hustadt, Ullrich

  http://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.

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

• Japaridze, Giorgi

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

• Jech, Thomas

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

• Jockusch, Carl G.

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

• Junker, Markus

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

• Kaiser, Klaus

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

• Kanamori, Akihiro

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

• Kaye, Richard

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

• Kechris, Alexander S.

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

• Kunen, Kenneth

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

• 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.

• Lakemeyer, Gerhard

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

• Larson, Jean A.

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

• Leivant, Daniel

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

• Lempp, Steffen

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

• Levesque, Hector

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

• Lindell, Steven

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

• Luo, Zhaohui

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

• Makowsky, Johann (Janos) A.

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

• Marcos, João

  https://sites.google.com/site/sequiturquodlibet/
  Rio Grande do Norte Federal University, Brazil - Philosophical logic, paraconsistent, many-valued and modal logics.

• Marker, David

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

• Matiyasevich, Yuri

  http://logic.pdmi.ras.ru/~yumat/
  Steklov Institute, St. Petersburg - Algorithmical number 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.

• Moschovakis, Yiannis N.

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

• Moss, Lawrence

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

• Nelson, Edward

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

• Nerode, Anil

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

• 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.

• 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.

• Parikh, Rohit

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

• Pfenning, Frank

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

• 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.

• Pollett, Chris

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

• Prest, Mike

  http://www.maths.manchester.ac.uk/~mprest/
  University of Manchester - Algebra and model theory.

• Rathjen, Michael

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

• Regnier, Laurent

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

• Robinson, Edmund

  http://www.eecs.qmul.ac.uk/~edmundr/
  Queen Mary and Westfield College - Categorical logic and the semantics of programming languages and type theories.

• Rubin, Jean E.

  http://www.math.purdue.edu/~hrubin/JeanRubin/
  Purdue University - Set theory, axiom of choice.

• Scedrov, Andre

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

• 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.

• Scott, Dana

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

• Shore, Richard A.

  http://www.math.cornell.edu/~shore/
  Cornell University - Recursion 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 - Foundations of mathematics and logic.

• Slaman, Theodore A.

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

• Soare, Robert I.

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

• Solovay, Robert M.

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

• 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.

• Vereshchagin, Nikolai

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

• Vickers, Steven

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

• Wansing, Heinrich

  http://www.ruhr-uni-bochum.de/philosophy/logic/
  Ruhr University Bochum - Philosophical logic, modal logic, non-classical logic and epistemology

• Welch, Philip

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

• Zach, Richard

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

• Ziegler, Martin

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

• Zilber, Boris

  http://people.maths.ox.ac.uk/~zilber/
  University of Oxford - Model theory.

Related Categories

• Home > Science > Math > Logic and Foundations > History > People

 

Home > Science > Math > Logic and Foundations > People

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us