| Directory > Science > Math > Logic and Foundations > People Maddy, Penelope
University of California Irvine - philosophy of logic and mathematics.
http://hypatia.ss.uci.edu/lps/home/fac-staff/faculty/maddy/
Reviews Rating: Not yet Rated
Whois Check
Wehmeier, Kai
UC Irvine - semantics and proof theory of intuitionistic arithmetic, logical analysis of modal
discourse, the logic of Gottlob Frege.
http://members.cox.net/wehmeier/
Reviews Rating: Not yet Rated
Whois Check
Flannery, Ryan
University of Cincinnati - satisfiability, first-order and temporal logic, computer science.
http://ryanflannery.org
Reviews Rating: Not yet Rated
Whois Check
Insall, Matt
University of Missouri, Rolla - Pure and Applied Logic, Foundations, Harmonic Analysis, Algebra,
Metric Spaces.
http://www.umr.edu/~insall
Reviews Rating: Not yet Rated
Whois Check
Rubin, Jean E.
Purdue University - Set theory, axiom of choice.
http://www.math.purdue.edu/~jer/
Reviews Rating: Not yet Rated
Whois Check
Kastermans, Bart
University of Michigan - Set theory.
http://www.kastermans.nl/bart/
Reviews Rating: Not yet Rated
Whois Check
Mileti, Joe
University of Illinois at Urbana-Champaign - Computability theory.
http://www.math.uiuc.edu/~mileti/
Reviews Rating: Not yet Rated
Whois Check
Pollett, Chris
San Jose State University - Logic, bounded arithemtic, computational complexity and quantum
computation.
http://www.cs.sjsu.edu/faculty/pollett/
Reviews Rating: Not yet Rated
Whois Check
Carlstrom, Jesper
Stockholm University - Constructive type theory and related mathematics.
http://www.math.su.se/~jesper/
Reviews Rating: Not yet Rated
Whois Check
Pym, David
University of Bath, England - Proof theory, logic and computation.
http://www.bath.ac.uk/~cssdjp/
Reviews Rating: Not yet Rated
Whois Check
Peckhaus, Volker
University of Erlangen-Nürnberg - History of logic.
http://www.phil.uni-erlangen.de/~p1phil/personen/peckhaus/
Reviews Rating: Not yet Rated
Whois Check
Knight, Julia F.
University of Notre Dame - Recursion theory.
http://www.science.nd.edu/math/faculty/knight.shtml
Reviews Rating: Not yet Rated
Whois Check
Cholak, Peter
University of Notre Dame - Recursion theory.
http://www.science.nd.edu/math/faculty/cholak.shtml
Reviews Rating: Not yet Rated
Whois Check
Simpson, George
Fuondations of Mathematics and Logic.
http://www.math.psu.edu/simpson/
Reviews Rating: Not yet Rated
Whois Check
Darnière, Luck
University of Angers, France - Model theory.
http://math.univ-angers.fr/~darniere/home_uk.html
Reviews Rating: Not yet Rated
Whois Check
Chatzidakis, Zoé
CNRS/University of Paris 7 - Model theory.
http://www.logique.jussieu.fr/www.zoe/
Reviews Rating: Not yet Rated
Whois Check
Hähnle, Reiner
Chalmers University of Technology, Sweden - Tableau-based automated theorem proving, many-valued
logic, formal verification.
http://www.cs.chalmers.se/~reiner/
Reviews Rating: Not yet Rated
Whois Check
Friedman, Harvey
Ohio State University.
http://www.math.ohio-state.edu/foundations/
Reviews Rating: Not yet Rated
Whois Check
Hindley, J. R.
University of Wales, Swansea - Lambda-calculus, combinatory logic and type-theory.
http://www-maths.swan.ac.uk:80/staff/jrh/
Reviews Rating: Not yet Rated
Whois Check
Zilber, Boris
University of Oxford - Model theory.
http://www.maths.ox.ac.uk/~zilber/
Reviews Rating: Not yet Rated
Whois Check
Ziegler, Martin
University of Freiburg - Model theory.
http://logik.mathematik.uni-freiburg.de/personen/Ziegler.html
Reviews Rating: Not yet Rated
Whois Check
Zach, Richard
University of Calgary - Non-classical logics, proof theory, philosophy of mathematics, history and
philosophy of logic.
http://www.ucalgary.ca/~rzach/
Reviews Rating: Not yet Rated
Whois Check
Wilmers, George
University of Manchester - Applications of mathematical logic in the foundations of uncertain
reasoning; natural prior probability distributions in uncertain reasoning.
http://www.maths.man.ac.uk/mirror/www/hpage/gmw.htm
Reviews Rating: Not yet Rated
Whois Check
Wilkie, Alex
Oxford University - Models of arithmetic.
http://www.maths.ox.ac.uk/~wilkie/
Reviews Rating: Not yet Rated
Whois Check
White, Graham
Queen Mary and Westfield College, London - Philosophy and linear logic.
http://www.dcs.qmw.ac.uk/~graham/
Reviews Rating: Not yet Rated
Whois Check
Welch, Philip
University of Bristol - Set theory, inner models, descriptive set theory.
http://www.maths.bris.ac.uk/~mapdw
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.uni-leipzig.de/~logik/wansing/wansing.html
Reviews Rating: Not yet Rated
Whois Check
Vickers, Steven
Imperial College, London - Geometric logic, topos theory, quantales and semantics of programming
languages.
http://mcs.open.ac.uk/puremaths/pmd_department/pmd_vickers/pmd_vickers.html
Reviews Rating: Not yet Rated
Whois Check
Vermeir, Timothy
University of Ghent, Belgium, Centre for Logic and Philosophy of Science - nonmonotonic, adaptive,
nonclassical, paraconsistent logics and logic programming.
http://logica.rug.ac.be/centrum/members/timothy.html
Reviews Rating: Not yet Rated
Whois Check
Thiel, Christian
University of Erlangen-Nürnberg - History of logic.
http://www.phil.uni-erlangen.de/~p1phil/lstii.html
Reviews Rating: Not yet Rated
Whois Check
Taylor, Paul
Queen Mary and Westfield College, London - Foundations of Mathematics and Computation.
http://www.dcs.qmw.ac.uk/~pt/
Reviews Rating: Not yet Rated
Whois Check
Stewart, Charles
Technische Universität Berlin, Theory and Formal Specifications group - Proof theoretic semantics,
lambda calculus, linear logic, theoretical computer science, philosophy of language.
http://www.linearity.org/cas/
Reviews Rating: Not yet Rated
Whois Check
Statman, Richard
Carnegie Mellon University - Theory of computation, lambda calculus, combinatory logic.
http://www.math.cmu.edu/people/fac/statman.html
Reviews Rating: Not yet Rated
Whois Check
Solovay, Robert M.
University of California, Berkeley.
http://www.math.berkeley.edu/~solovay/
Reviews Rating: Not yet Rated
Whois Check
Soare, Robert I.
University of Chicago - Recursion theory.
http://www.cs.uchicago.edu/~soare/
Reviews Rating: Not yet Rated
Whois Check
Slaman, Theodore A.
University of California, Berkeley - Recursion theory.
http://www.math.berkeley.edu/~slaman/
Reviews Rating: Not yet Rated
Whois Check
Sipser, Michael
MIT - Complexity theory.
http://www-math.mit.edu/~sipser/index.html
Reviews Rating: Not yet Rated
Whois Check
Sieg, Wilfried
Carnegie Mellon University - Proof theory, philosophy of mathematics, history of 19th and 20th
century logic and mathematics.
http://www.hss.cmu.edu/departments/philosophy/people/directory/Wilfried_Sieg.html
Reviews Rating: Not yet Rated
Whois Check
Shramko, Yaroslav
State Pedagogical University, Kryvyi Rih, Ukraine - Intuitionistic and relevant logics.
http://amor.rz.hu-berlin.de/~h0126kar/yaroslavshramkoengl.htm
Reviews Rating: Not yet Rated
Whois Check
Shore, Richard A.
Cornell University - Recursion theory.
http://www.math.cornell.edu/~shore/
Reviews Rating: Not yet Rated
Whois Check
Shelah, Saharon
Rutgers University and Hebrew University - includes paper archive.
http://math.rutgers.edu/~shelarch/
Reviews Rating: Not yet Rated
Whois Check
Setzer, Anton
Uppsala University - proof theory (ordinal analysis), Martin-Löf type theory.
http://www.math.uu.se/~setzer/
Reviews Rating: Not yet Rated
Whois Check
Vlad, Serban E.
Independent scholar, Bucharest - Asynchronous automata and binary valued mathematical analysis.
http://site.voila.fr/serban_e_vlad/
Reviews Rating: Not yet Rated
Whois Check
Scott, Dana
Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics,
symbolic mathematical computation.
http://www.cs.cmu.edu/~scott/
Reviews Rating: Not yet Rated
Whois Check
Schmidt, Renate
University of Manchester - Modal logic, resolution theorem proving, resolution decision problems,
relation algebras, Peirce algebras and knowledge representation.
http://www.cs.man.ac.uk/~schmidt/
Reviews Rating: Not yet Rated
Whois Check
Scedrov, Andre
University of Pennsylvania - Logic in computer science, linear logic.
http://www.cis.upenn.edu/~scedrov/
Reviews Rating: Not yet Rated
Whois Check
Robinson, Edmund
Queen Mary and Westfield College - Categorical logic and the semantics of programming languages and
type theories.
http://www.dcs.qmw.ac.uk/~edmundr/
Reviews Rating: Not yet Rated
Whois Check
Restall, Greg
Macquarie University - Philosophy of logic, substructural logics.
http://www.phil.mq.edu.au/staff/grestall/
Reviews Rating: Not yet Rated
Whois Check
Regnier, Laurent
University of Marseilles - Linear logic, lambda calculus and abstract machine interpretations.
http://iml.univ-mrs.fr/~regnier/
Reviews Rating: Not yet Rated
Whois Check
Rathjen, Michael
University of Leeds - Proof theory.
http://www.amsta.leeds.ac.uk/Pure/staff/rathjen/rathjen.html
Reviews Rating: Not yet Rated
Whois Check
Quigley, Peter
Manchester Metropolitan University - Computational logic, formal methods, formal specification,
automated reasoning and proof planning.
http://www.doc.mmu.ac.uk/STAFF/P.Quigley/
Reviews Rating: Not yet Rated
Whois Check
Pym, David J.
Queen Mary and Westfield College - Semantics of programming languages, type theory, proof-search,
logic programming, theorem proving.
http://www.dcs.qmw.ac.uk/~pym/
Reviews Rating: Not yet Rated
Whois Check
Prest, Mike
University of Manchester - Algebra and model theory.
http://www.maths.man.ac.uk/~mprest/
Reviews Rating: Not yet Rated
Whois Check
Pratt, Vaughan
Stanford University - Linear logic, Chu spaces, foundations of mathematics, theoretical computer
science and wearable computing.
http://boole.stanford.edu/pratt.html
Reviews Rating: Not yet Rated
Whois Check
Portier, Natacha
ENS Lyon.
http://www.desargues.univ-lyon1.fr/home/portier/portiergb.html
Reviews Rating: Not yet Rated
Whois Check
Pitts, Andrew
University of Cambridge - Categorical logic, type theory, semantics of programming languages and
logic in computer science.
http://www.cl.cam.ac.uk/~amp12/
Reviews Rating: Not yet Rated
Whois Check
Pfenning, Frank
Carnegie Mellon University - Logic and programming languages, logical frameworks, type theory.
http://www.cs.cmu.edu/~fp/
Reviews Rating: Not yet Rated
Whois Check
Pedicini, Marco
Institute for Applied Calculus, Rome - Theoretical computer science, linear logic, geometry of
interaction, optimal reductions.
http://www.iac.rm.cnr.it/~marco/html
Reviews Rating: Not yet Rated
Whois Check
Paris, Jeff
University of Manchester - Mathematical Logic, in particular uncertain reasoning.
http://www.maths.man.ac.uk/mirror/www/hpage/jbp.htm
Reviews Rating: Not yet Rated
Whois Check
Ong, C.-H. Luke
Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics
of programming languages, and sequentiality.
http://web.comlab.ox.ac.uk/oucl/people/luke.ong.html
Reviews Rating: Not yet Rated
Whois Check
Nies, Andre
University of Chicago - Recursion theory.
http://www.math.uchicago.edu/~nies/
Reviews Rating: Not yet Rated
Whois Check
Nerode, Anil
Cornell University - Computability theory, logic in computer science, history of logic.
http://www.math.cornell.edu/~anil/
Reviews Rating: Not yet Rated
Whois Check
Nelson, Edward
Princeton University - Bounded arithmetic, automated proof verification (QED).
http://www.math.princeton.edu/~nelson/index.html
Reviews Rating: Not yet Rated
Whois Check
Moschovakis, Yiannis N.
UCLA - Set theory, recursion theory.
http://www.math.ucla.edu/~ynm/
Reviews Rating: Not yet Rated
Whois Check
Moreno, Javier
University of Illinois, Urbana-Champaign - Model theory and applications.
http://www.math.uiuc.edu/~jamoreno
Reviews Rating: Not yet Rated
Whois Check
Monk, Donald
University of Colorado, Boulder - Boolean algebras.
http://www.Colorado.EDU/math/courses/monkd/
Reviews Rating: Not yet Rated
Whois Check
Mitchell, William
University of Florida - Set theory.
http://www.math.ufl.edu/~mitchell/
Reviews Rating: Not yet Rated
Whois Check
Miller, Dale
Penn State University - Linear logic, proof search and declarative programming languages.
http://www.cse.psu.edu/~dale/
Reviews Rating: Not yet Rated
Whois Check
McKenzie, Ralph
Vanderbildt University and UC Berkeley - Algebra, logic, combinatorics.
http://www.math.vanderbilt.edu/~mckenzie/
Reviews Rating: Not yet Rated
Whois Check
Matiyasevich, Yuri
Steklov Institute, St. Petersburg - Algorithmical number theory.
http://logic.pdmi.ras.ru/~yumat
Reviews Rating: Not yet Rated
Whois Check
Marker, David
University of Illinois, Chicago - Model theory.
http://www.math.uic.edu/~marker/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.geocities.com/jm_logica/
Reviews Rating: Not yet Rated
Whois Check
Makowsky, Johann (Janos) A.
Technion, Israel - Logic in computer science, finite model theory.
http://www.cs.technion.ac.il/~janos/index.html
Reviews Rating: Not yet Rated
Whois Check
Luo, Zhaohui
Durham University, UK - Type theory, theoretical computer science and semantics of natural
languages.
http://www.dur.ac.uk/~dcs0zl/
Reviews Rating: Not yet Rated
Whois Check
Lessmann, Olivier
University of Illinois, Chicago - Model theory.
http://www.math.uic.edu/~lessmann/
Reviews Rating: Not yet Rated
Whois Check
Lempp, Steffen
University of Wisconsin, Madison - Computability, recursion theory.
http://www.math.wisc.edu/~lempp/
Reviews Rating: Not yet Rated
Whois Check
Lascar, Daniel
CNRS / University of Paris 7 - Model theory.
http://www.logique.jussieu.fr/www.lascar/
Reviews Rating: Not yet Rated
Whois Check
Larson, Jean A.
University of Florida - Set theory, combinatorics.
http://www.math.ufl.edu/~jal/
Reviews Rating: Not yet Rated
Whois Check
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.
http://iml.univ-mrs.fr/~lafont/welcome.html
Reviews Rating: Not yet Rated
Whois Check
Kunen, Kenneth
University of Wisconsin, Madison - Set theory.
http://www.math.wisc.edu/~kunen/
Reviews Rating: Not yet Rated
Whois Check
Kechris, Alexander S.
Caltech - Foundations of mathematics, mathematical logic and set theory, interactions with
analysis.
http://www.math.caltech.edu/people/kechris.html
Reviews Rating: Not yet Rated
Whois Check
Kaye, Richard
University of Birmingham - Model theory.
http://for.mat.bham.ac.uk/R.W.Kaye/
Reviews Rating: Not yet Rated
Whois Check
Kanamori, Akihiro
Boston University - Set theory.
http://math.bu.edu/people/aki/
Reviews Rating: Not yet Rated
Whois Check
Kaiser, Klaus
University of Houston - Mathematical logic, universal algebra, lattice theory and logic
programming.
http://math.uh.edu/~klaus/
Reviews Rating: Not yet Rated
Whois Check
Junker, Markus
University of Freiburg - Model theory.
http://sunpool.mathematik.uni-freiburg.de/home/junker/Junker-eng.html
Reviews Rating: Not yet Rated
Whois Check
Jockusch, Carl G.
University of Illinois, Urbana Champaign - Recursion theory.
http://www.math.uiuc.edu/~jockusch/
Reviews Rating: Not yet Rated
Whois Check
Jech, Thomas
Pennsylvania State University - Set theory.
http://www.math.psu.edu/jech/
Reviews Rating: Not yet Rated
Whois Check
Hyland, J. Martin E.
University of Cambridge - Categorical logic, game semantics and logic in computer science.
http://www.dpmms.cam.ac.uk/~martin/index.html
Reviews Rating: Not yet Rated
Whois Check
Hustadt, Ullrich
University of Liverpool - Resolution-based and tableaux-based decision procedures for decidable
fragments of first-order logic.
http://www.csc.liv.ac.uk/~ullrich/
Reviews Rating: Not yet Rated
Whois Check
Howard, Paul
Eastern Michigan University - Axiom of choice.
http://www.emunix.emich.edu/~phoward/
Reviews Rating: Not yet Rated
Whois Check
Holmes, Randall
Boise State University - Set theory: New Foundations, automated theorem proving.
http://diamond.boisestate.edu/~holmes/
Reviews Rating: Not yet Rated
Whois Check
Hodges, Wilfrid
University of London - Model theory.
http://www.maths.qmw.ac.uk/~wilfrid/
Reviews Rating: Not yet Rated
Whois Check
Hjorth, Greg
UCLA - Descriptive set theory, countable models, definable equivalence relations.
http://www.math.ucla.edu/~greg/
Reviews Rating: Not yet Rated
Whois Check
Herwig, Bernhard
University of Freiburg - Model theory.
http://sunpool.mathematik.uni-freiburg.de/home/herwig/
Reviews Rating: Not yet Rated
Whois Check
Grossberg, Rami
Carnegie Mellon University - Model theory.
http://www.math.cmu.edu/users/rami/
Reviews Rating: Not yet Rated
Whois Check
Goldstern, Martin
University of Technology, Vienna - Set theory.
http://info.tuwien.ac.at/goldstern/
Reviews Rating: Not yet Rated
Whois Check
Ghidini, Chiara
Manchester Metropolitan University - Logics for federated databases and information integration,
multi-agent systems, context-based reasoning, and belief contexts.
http://www.doc.mmu.ac.uk/STAFF/C.Ghidini/
Reviews Rating: Not yet Rated
Whois Check
Gerla, Giangiacomo
University of Salerno, Italy - Fuzzy logic, percentage logic, pointless geometry.
http://www.dmi.unisa.it/people/gerla/www/
Reviews Rating: Not yet Rated
Whois Check
Gehrke, Mai
New Mexico State University - Nonstandard mathematics, operators on boolean algebras, fuzzy
mathematics, universal algebra, general topology, posets and lattices.
http://www.math.nmsu.edu/mgehrke/mgehrke.html
Reviews Rating: Not yet Rated
Whois Check
Gardener, Tim
Oxford University - Model theory of the p-adics, group theory, algebraic geometry.
http://www.maths.ox.ac.uk/~gardener/
Reviews Rating: Not yet Rated
Whois Check
Friedman, Sy D.
University of Vienna and MIT - Set theory.
http://www-math.mit.edu/~sdf/
Reviews Rating: Not yet Rated
Whois Check
Forster, T. E.
University of Cambridge - Set theory, type theory.
http://www.dpmms.cam.ac.uk/~tf/
Reviews Rating: Not yet Rated
Whois Check
Foreman, Matthew
UC Irvine - Set theory.
http://www.math.uci.edu/faculty/mforeman.html
Reviews Rating: Not yet Rated
Whois Check
Font, Josep Maria
University of Barcelona - Algebraic logic.
http://www.mat.ub.es/~font/
Reviews Rating: Not yet Rated
Whois Check
Flum, Jörg
University of Freiburg - Finite model theory.
http://logik.mathematik.uni-freiburg.de/personen/Flum.html
Reviews Rating: Not yet Rated
Whois Check
Fitting, Melvin
City University of New York - Logic in computer science, mathematics, and philosophy.
http://comet.lehman.cuny.edu/fitting/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.doc.mmu.ac.uk/STAFF/M.Fisher/
Reviews Rating: Not yet Rated
Whois Check
Feferman, Solomon
Stanford University - Proof theory,theory of computation, foundations of mathematics, philosophy of
mathematics, history of modern logic.
http://math.Stanford.EDU/~feferman/
Reviews Rating: Not yet Rated
Whois Check
Etchemendy, John
Stanford University - Philosophical logic, semantics, and philosophy of language.
http://www-csli.stanford.edu/hp/etchemendy.html
Reviews Rating: Not yet Rated
Whois Check
Enderton, Herbert B.
UCLA - Recursion theory, definability theory.
http://www.math.ucla.edu/~hbe/
Reviews Rating: Not yet Rated
Whois Check
Edmundo, Mario
Oxford University - Cohomology, K-theory and sheaves.
http://www.maths.ox.ac.uk/~edmundo/
Reviews Rating: Not yet Rated
Whois Check
Ebbinghaus, Heinz-Dieter
University of Freiburg - Finite model theory.
http://logik.mathematik.uni-freiburg.de/personen/Ebbinghaus.html
Reviews Rating: Not yet Rated
Whois Check
Dixon, Clare
Manchester Metropolitan University - Resolution theorem proving, modal and temporal logics,
automated reasoning, specification and verification of distributed and multi-agent systems.
http://www.doc.mmu.ac.uk/STAFF/C.Dixon/
Reviews Rating: Not yet Rated
Whois Check
Danos, Vincent
University of Paris 7 - Proof theory, linear logic.
http://www.logique.jussieu.fr/www.danos/
Reviews Rating: Not yet Rated
Whois Check
Cummings, James
Carnegie Mellon University - Set theory.
http://www.math.cmu.edu/users/jcumming/
Reviews Rating: Not yet Rated
Whois Check
Chaitin, Gregory J.
IBM Research - Algorithmic information theory.
http://www.cs.auckland.ac.nz/CDMTCS/chaitin/
Reviews Rating: Not yet Rated
Whois Check
Carnielli, Walter A.
State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics,
paraconsistent logics, finite and infinite combinatorics.
http://www.unicamp.br/cle/carniell.htm
Reviews Rating: Not yet Rated
Whois Check
Buss, Samuel R.
University of California, San Diego - Proof theory, computational complexity.
http://math.ucsd.edu/~sbuss/
Reviews Rating: Not yet Rated
Whois Check
Burris, Stanley
University of Waterloo - Universal algebra, logic, computers.
http://www.thoralf.uwaterloo.ca/
Reviews Rating: Not yet Rated
Whois Check
Buechler, Steven
University of Notre Dame - Model theory.
http://www.nd.edu/~steve/
Reviews Rating: Not yet Rated
Whois Check
Bouscaren, Elisabeth
CNRS / University of Paris 7 - Model theory and algebraic geometry.
http://www.logique.jussieu.fr/www.elibou/
Reviews Rating: Not yet Rated
Whois Check
Bolotov, Alexander
Manchester Metropolitan University - Extension of the clausal temporal resolution method to
branching-time temporal logics.
http://www.doc.mmu.ac.uk/STAFF/A.Bolotov/
Reviews Rating: Not yet Rated
Whois Check
Blass, Andreas R.
University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.
http://www.math.lsa.umich.edu/~ablass/
Reviews Rating: Not yet Rated
Whois Check
Berline, Chantal
University of Paris 7 - Lambda calculus.
http://www.logique.jussieu.fr/www.berline/
Reviews Rating: Not yet Rated
Whois Check
Bellin, Gianluigi
University of Leeds - Proof theory, the formulae-as-types correspondence and semantics of
programming languages.
http://www.amsta.leeds.ac.uk/~bellin/
Reviews Rating: Not yet Rated
Whois Check
Bartoszynski, Tomek
Boise State University - Set theory.
http://diamond.boisestate.edu/~tomek/
Reviews Rating: Not yet Rated
Whois Check
Barendregt, Henk
University of Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.
http://www.cs.kun.nl/~henk/
Reviews Rating: Not yet Rated
Whois Check
Baldwin, John T.
University of Illinois, Chicago - Model theory (finite and infinite).
http://www.math.uic.edu/~jbaldwin/
Reviews Rating: Not yet Rated
Whois Check
Awodey, Steve
Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and
logic.
http://www.andrew.cmu.edu/user/awodey/
Reviews Rating: Not yet Rated
Whois Check
Avigad, Jeremy
Carnegie Mellon University - proof theory, constructive mathematics, proof complexity, and the
history and philosophy of mathematics.
http://www.andrew.cmu.edu/~avigad/
Reviews Rating: Not yet Rated
Whois Check
Andrews, Peter B.
Carnegie Mellon University - type theory, automated theorem proving.
http://www.cs.cmu.edu/afs/cs.cmu.edu/user/andrews/www/andrews.html
Reviews Rating: Not yet Rated
Whois Check
Aczel, Peter
University of Manchester - Philosophy and Foundations of Mathematics and Computing, Mathematical
Logic, Categorical Logic.
http://www.cs.man.ac.uk/~petera/
Reviews Rating: Not yet Rated
Whois Check
|
