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