|
|
|
|
Home / Science / Math / Logic and Foundations / Logicians
|
| Categories |
|
|
- Bernays,_Paul (2)
- Boole,_George (6)
- Cantor,_Georg (5)
- Church,_Alonzo (4)
- Frege,_Gottlob (11)
- Gödel,_Kurt (8)
- Hilbert,_David (5)
- Lukasiewicz,_Jan (2)
- Peirce,_Charles_Sanders (10)
- Post,_Emil_L. (5)
|
|
|
|
|
Web Sites
|
- Aczel, Peter - University of Manchester - Philosophy and Foundations of Mathematics and Computing, Mathematical Logic, Categorical Logic.
www.cs.man.ac.uk/~petera
- Andrews, Peter B. - Carnegie Mellon University - type theory, automated theorem proving.
www.cs.cmu.edu/afs/cs.cmu.edu/user/andrews/www/andrews.html
- Avigad, Jeremy - Carnegie Mellon University - proof theory, constructive mathematics, proof complexity, and the history and philosophy of mathematics.
www.andrew.cmu.edu/~avigad
- 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
- Barendregt, Henk - University of Nijmegen - Interested in lambda calculus, type theory and formalising mathematical vernacular. Author of `The Lambda Calculus' (1980), still the definitive guide to the theory of the untyped lambda calculus.
www.cs.kun.nl/~henk
- Bartoszynski, Tomek - Boise State University - set theory.
diamond.boisestate.edu/~tomek
- Bellin, Gianluigi - University of Leeds - Interested in proof theory, the formulae-as-types correspondence and semantics of programming languages.
www.amsta.leeds.ac.uk/~bellin
- Berline, Chantal - University of Paris 7 - lambda calculus.
www.logique.jussieu.fr/www.berline
- Blass, Andreas R. - University of Michigan, Ann Arbor - set theory, finite combinatorics, theoretical computer science.
www.math.lsa.umich.edu/~ablass
- Bolotov, Alexander - Manchester Metropolitan University - extension of the clausal temporal resolution method to branching-time temporal logics.
www.doc.mmu.ac.uk/STAFF/A.Bolotov
- 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. - UC 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
- Chatzidakis, Zoé - CNRS / University of Paris 7 - model theory.
www.logique.jussieu.fr/www.zoe
- Cholak, Peter - University of Notre Dame - recursion theory.
www.science.nd.edu/math/faculty/Cholak.1.html
- 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
- Darnière, Luck - University of Angers - model theory.
math.univ-angers.fr/~darniere/home_uk.html
- Dixon, Clare - Manchester Metropolitan University - Resolution theorem proving, modal and temporal logics, automated reasoning, specification and verification of distributed and multi-agent systems.
www.doc.mmu.ac.uk/STAFF/C.Dixon
- Ebbinghaus, Heinz-Dieter - University of Freiburg - finite model theory.
logik.mathematik.uni-freiburg.de/personen/Ebbinghaus.html
- Edmundo, Mario - Oxford University - Cohomology, K-theory and sheaves.
www.maths.ox.ac.uk/~edmundo
- 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
- Fisher, Michael - Manchester Metropolitan University - Distributed artificial intelligence and multi-agent systems, programming language design, formal specification and verification, parallel and agent-based theorem-proving, temporal and modal theorem-proving techniques.
www.doc.mmu.ac.uk/STAFF/M.Fisher
- Fitting, Melvin - City University of New York - logic in computer science, mathematics, and philosophy.
comet.lehman.cuny.edu/fitting
- Flum, Jörg - University of Freiburg - finite model theory.
logik.mathematik.uni-freiburg.de/personen/Flum.html
- Font, Josep Maria - University of Barcelona - Algebraic logic.
www.mat.ub.es/~font
- Foreman, Matthew - UC Irvine.
www.math.uci.edu/faculty/mforeman.html
- Forster, T. E. - University of Cambridge - set theory, type theory.
www.dpmms.cam.ac.uk/~tf
- Friedman, Harvey - Ohio State University.
www.math.ohio-state.edu/foundations
- Friedman, Sy D. - MIT and University of Vienna - set theory.
www-math.mit.edu/~sdf
- Gardener, Tim - Oxford University - Model theory of the p-adics, group theory, algebraic geometry.
www.maths.ox.ac.uk/~gardener
- 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 - Specialized in comparing fuzzy logic to percentage logic, as well as pointless geometry. Lists articles and publications by topic.
www.dmi.unisa.it/people/gerla/www
- Ghidini, Chiara - Manchester Metropolitan University - logics for federated databases and information integration, multi-agent systems, context-based reasoning, and belief contexts.
www.doc.mmu.ac.uk/STAFF/C.Ghidini
- 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
- Hähnle, Reiner - University of Karlsruhe - tableau-based automated theorem proving, many-valued logic.
i12www.ira.uka.de/~reiner
- Herwig, Bernhard - University of Freiburg - model theory.
sunpool.mathematik.uni-freiburg.de/home/herwig
- Hindley, J. R. - University of Wales Swansea - lambda-calculus, combinatory logic and type-theory.
www-maths.swan.ac.uk:80/staff/jrh
- 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 - Interested in 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
- Knight, Julia F. - University of Notre Dame - recursion theory.
www.science.nd.edu/math/faculty/Knight.1.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
- Luo, Zhaohui - Durham University, UK - type theory, theoretical computer science and semantics of natural languages. Formulated the Extended Calculus of Constructions.
www.dur.ac.uk/~dcs0zl
- Makowsky, Johann (Janos) A. - Technion - logic in computer science, finite model theory.
www.cs.technion.ac.il/~janos/index.html
- Marcos, João - State University of Campinas, Brazil - Interested in both mathematical and philosophical logic, and especially non-classical logics such as paraconsistent, many-valued and modal logics, as well as formal semantics to them, and combinations of 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
- Miller, Dale - Penn State University - Interested in linear logic, proof search and declarative programming languages.
www.cse.psu.edu/~dale
- 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 - UIUC - model theory and applications.
www.math.uiuc.edu/~jamoreno
- Moschovakis, Yiannis N. - UCLA.
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
- Nies, Andre - University of Chicago - recursion theory.
www.math.uchicago.edu/~nies
- Ong, C.-H. Luke - Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.
web.comlab.ox.ac.uk/oucl/people/luke.ong.html
- Paris, Jeff - University of Manchester - Mathematical Logic, in particular uncertain reasoning.
www.maths.man.ac.uk/mirror/www/hpage/jbp.htm
- Peckhaus, Volker - University of Erlangen-Nürnberg - history of logic.
www.phil.uni-erlangen.de/~p1phil/personen/peckhaus/home.html
- 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 - Interested in categorical logic, type theory, seamntics of programming languages and logic in computer science.
www.cl.cam.ac.uk/~amp12
- Portier, Natacha - ENS Lyon.
www.desargues.univ-lyon1.fr/home/portier/portiergb.html
- Pratt, Vaughan - Stanford University - Interested in linear logic, Chu spaces, foundations of mathematics, theoretical computer science and wearable computing.
boole.stanford.edu/pratt.html
- Prest, Mike - University of Manchester - Algebra and Model Theory.
www.maths.man.ac.uk/~mprest
- Pym, David J. - Queen Mary and Westfield College - semantics of programming languages, type theory, proof-search, logic programming, theorem proving.
www.dcs.qmw.ac.uk/~pym
- 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 - Interested in linear logic, lambda calculus and abstract machine interpretations. Pioneer of the geometry of interaction approach to the semantics of linear logic.
iml.univ-mrs.fr/~regnier
- Restall, Greg - Greg Restall's CV: downloadable publications on Philosophical Logic, Metaphysics, Philosophy of Language, Philosophy of Religion and related areas.
www.phil.mq.edu.au/staff/grestall/cv.html
- Restall, Greg - Macquarie University - Philosophy of logic, substructural logics.
www.phil.mq.edu.au/staff/grestall
- Robinson, Edmund - Queen Mary and Westfield College - categorical logic and the semantics of programming languages and type theories.
www.dcs.qmw.ac.uk/~edmundr
- Rubin, Jean E. - Purdue University - set theory, axiom of choice.
zeno.math.purdue.edu/~jer
- 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 mahematics, symbolic mathematical computation.
www.cs.cmu.edu/~scott
- Serban E. Vlad - Features a list of publications by author about asynchronous automata and binary valued mathematical analysis. In PS and PDF format.
site.voila.fr/serban_e_vlad
- Setzer, Anton - Uppsala University - proof theory (ordinal analysis), Martin-Löf type theory.
www.math.uu.se/~setzer
- Shelah, Saharon - Rutgers University and Hebrew University - includes paper archive.
math.rutgers.edu/~shelarch
- Shore, Richard A. - Cornell University - recursion theory.
www.math.cornell.edu/~shore
- Shramko, Yaroslav - State Pedagogical University, Kryvyi Rih, Ukraine - Intuitionistic and relevant logics.
amor.rz.hu-berlin.de/~h0126kar/yaroslavshramkoengl.htm
- Sieg, Wilfried - Carnegie Mellon University - proof theory, philosophy of mathematics, history of 19th and 20th century logic and mathematics.
www.hss.cmu.edu/departments/philosophy/people/directory/Wilfried_Sieg.html
- Sipser, Michael - MIT - complexity theory.
www-math.mit.edu/~sipser/index.html
- Slaman, Theodore A. - UC Berkeley - recursion theory
www.math.berkeley.edu/~slaman
- Soare, Robert I. - University of Chicago - recursion theory.
www.cs.uchicago.edu/~soare
- Solovay, Robert M. - UC Berkeley.
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
- Stewart, Charles - Technische Universität Berlin, Theory and Formal Specifications group - Proof theoretic semantics, lambda calculus, linear logic, theoretical computer science, philosophy of language.
www.linearity.org/cas
- Taylor, Paul - Queen Mary and Westfield College, London - Foundations of Mathematics and Computation.
www.dcs.qmw.ac.uk/~pt
- Thiel, Christian - University of Erlangen-Nürnberg - history of logic.
www.phil.uni-erlangen.de/~p1phil/lstii.html
- Vermeir, Timothy - Centre for Logic and Philosophy of Science, University of Ghent, Belgium - nonmonotonic, adaptive, nonclassical, paraconsistent logics and logic programming.
logica.rug.ac.be/centrum/members/timothy.html
- Vickers, Steven - Imperial College, London - Interested in Geometric logic, topos theory, quantales and semantics of programming languages.
mcs.open.ac.uk/puremaths/pmd_department/pmd_vickers/pmd_vickers.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
- Wilkie, Alex - Oxford University - Models of arithmetic.
www.maths.ox.ac.uk/~wilkie
- Wilmers, George - University of Manchester - Applications of mathematical logic in the foundations of uncertain reasoning; Natural prior probability distributions in uncertain reasoning.
www.maths.man.ac.uk/mirror/www/hpage/gmw.htm
- Zach, Richard - University of Calgary - philosophy of mathematics, history and philosophy of logic, theory of proofs, and non-classical logics.
www.ucalgary.ca/~rzach
- Ziegler, Martin - University of Freiburg - model theory.
logik.mathematik.uni-freiburg.de/personen/Ziegler.html
- Zilber, Boris - University of Oxford - model theory.
www.maths.ox.ac.uk/~zilber
|
|
|
|
|