Home    |Web Directory    |Metasearch    |Message Boards    |Classified Ads|

Web Directory

Home

Web Directory

Metasearch

Message Boards

Classified Ads

Your Ad Here
Your Ad Here

Top: Science: Math: Logic_and_Foundations: People:

People (130)

Categories:

See Also:
Sites:

http://www.cs.man.ac.uk/~petera/   » Aczel, Peter Open in a new browser window
   University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.
   http://www.cs.man.ac.uk/~petera/

http://gtps.math.cmu.edu/andrews.html   » Andrews, Peter B. Open in a new browser window
   Carnegie Mellon University - Type theory, automated theorem proving.
   http://gtps.math.cmu.edu/andrews.html

http://www.cs.gc.cuny.edu/~sartemov/   » Artemov, Sergei Open in a new browser window
   City University of New York Graduate Center - Proof theory, logic of proofs.
   http://www.cs.gc.cuny.edu/~sartemov/

http://www.andrew.cmu.edu/user/avigad/   » Avigad, Jeremy Open in a new browser window
   Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.
   http://www.andrew.cmu.edu/user/avigad/

http://www.andrew.cmu.edu/user/awodey/   » Awodey, Steve Open in a new browser window
   Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
   http://www.andrew.cmu.edu/user/awodey/

http://www.math.uic.edu/~jbaldwin/   » Baldwin, John T. Open in a new browser window
   University of Illinois, Chicago - Model theory (finite and infinite).
   http://www.math.uic.edu/~jbaldwin/

http://www.cs.ru.nl/~henk/   » Barendregt, Henk Open in a new browser window
   Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.
   http://www.cs.ru.nl/~henk/

http://diamond.boisestate.edu/~tomek/   » Bartoszynski, Tomek Open in a new browser window
   Boise State University - Set theory.
   http://diamond.boisestate.edu/~tomek/

http://www.phil.uu.nl/~lev/   » Beklemishev, Lev Open in a new browser window
   Utrecht University and Steklov Mathematical Institute of Moscow - Proof theory, modal logics.
   http://www.phil.uu.nl/~lev/

http://www.math.lsa.umich.edu/~ablass/   » Blass, Andreas R. Open in a new browser window
   University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.
   http://www.math.lsa.umich.edu/~ablass/

http://www.logique.jussieu.fr/www.elibou/   » Bouscaren, Elisabeth Open in a new browser window
   CNRS / University of Paris 7 - Model theory and algebraic geometry.
   http://www.logique.jussieu.fr/www.elibou/

http://www.nd.edu/~steve/   » Buechler, Steven Open in a new browser window
   University of Notre Dame - Model theory.
   http://www.nd.edu/~steve/

http://www.thoralf.uwaterloo.ca/   » Burris, Stanley Open in a new browser window
   University of Waterloo - Universal algebra, logic, computers.
   http://www.thoralf.uwaterloo.ca/

http://math.ucsd.edu/~sbuss/   » Buss, Samuel R. Open in a new browser window
   University of California, San Diego - Proof theory, computational complexity.
   http://math.ucsd.edu/~sbuss/

http://www.math.su.se/~jesper/   » Carlstrom, Jesper Open in a new browser window
   Stockholm University - Constructive type theory and related mathematics.
   http://www.math.su.se/~jesper/

http://www.unicamp.br/cle/carniell.htm   » Carnielli, Walter A. Open in a new browser window
   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

http://www.cs.auckland.ac.nz/CDMTCS/chaitin/   » Chaitin, Gregory J. Open in a new browser window
   IBM Research - Algorithmic information theory.
   http://www.cs.auckland.ac.nz/CDMTCS/chaitin/

http://www.logique.jussieu.fr/www.zoe/   » Chatzidakis, Zoé Open in a new browser window
   CNRS/University of Paris 7 - Model theory.
   http://www.logique.jussieu.fr/www.zoe/

http://www.math.nd.edu/faculty/cholak.shtml   » Cholak, Peter Open in a new browser window
   University of Notre Dame - Recursion theory.
   http://www.math.nd.edu/faculty/cholak.shtml

http://www.math.cmu.edu/users/jcumming/   » Cummings, James Open in a new browser window
   Carnegie Mellon University - Set theory.
   http://www.math.cmu.edu/users/jcumming/

http://www.logique.jussieu.fr/www.danos/   » Danos, Vincent Open in a new browser window
   University of Paris 7 - Proof theory, linear logic.
   http://www.logique.jussieu.fr/www.danos/

http://math.univ-angers.fr/~darniere/home_uk.html   » Darnière, Luck Open in a new browser window
   University of Angers, France - Model theory.
   http://math.univ-angers.fr/~darniere/home_uk.html

http://www.nd.edu/~ndphilo/faculty/mdet.htm   » Detlefsen, Michael Open in a new browser window
   University of Notre Dame - Formal logic, philosophy of mathematics.
   http://www.nd.edu/~ndphilo/faculty/mdet.htm

http://www.mi.sanu.ac.yu/~kosta/   » Dosen, Kosta Open in a new browser window
   University of Belgrade - Proof theory, category theory.
   http://www.mi.sanu.ac.yu/~kosta/

http://logik.mathematik.uni-freiburg.de/personen/Ebbinghaus.html   » Ebbinghaus, Heinz-Dieter Open in a new browser window
   University of Freiburg - Finite model theory.
   http://logik.mathematik.uni-freiburg.de/personen/Ebbinghaus.html

http://www.math.ucla.edu/~hbe/   » Enderton, Herbert B. Open in a new browser window
   UCLA - Recursion theory, definability theory.
   http://www.math.ucla.edu/~hbe/

http://www-csli.stanford.edu/hp/etchemendy.html   » Etchemendy, John Open in a new browser window
   Stanford University - Philosophical logic, semantics, and philosophy of language.
   http://www-csli.stanford.edu/hp/etchemendy.html

http://math.stanford.edu/~feferman/   » Feferman, Solomon Open in a new browser window
   Stanford University - Proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic.
   http://math.stanford.edu/~feferman/

http://comet.lehman.cuny.edu/fitting/   » Fitting, Melvin Open in a new browser window
   City University of New York - Logic in computer science, mathematics, philosophy.
   http://comet.lehman.cuny.edu/fitting/

http://logik.mathematik.uni-freiburg.de/personen/Flum.html   » Flum, Jörg Open in a new browser window
   University of Freiburg - Finite model theory.
   http://logik.mathematik.uni-freiburg.de/personen/Flum.html

http://www.math.uci.edu/faculty/mforeman.html   » Foreman, Matthew Open in a new browser window
   UC Irvine - Set theory.
   http://www.math.uci.edu/faculty/mforeman.html

http://www.dpmms.cam.ac.uk/~tf/   » Forster, T. E. Open in a new browser window
   University of Cambridge - Set theory, type theory.
   http://www.dpmms.cam.ac.uk/~tf/

http://www.logic.univie.ac.at/~sdf/   » Friedman, Sy D. Open in a new browser window
   University of Vienna - Set theory.
   http://www.logic.univie.ac.at/~sdf/

http://www.math.nmsu.edu/mgehrke/mgehrke.html   » Gehrke, Mai Open in a new browser window
   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

http://www.dmi.unisa.it/people/gerla/www/   » Gerla, Giangiacomo Open in a new browser window
   University of Salerno, Italy - Fuzzy logic, percentage logic, pointless geometry.
   http://www.dmi.unisa.it/people/gerla/www/

http://info.tuwien.ac.at/goldstern/   » Goldstern, Martin Open in a new browser window
   University of Technology, Vienna - Set theory.
   http://info.tuwien.ac.at/goldstern/

http://www.math.cmu.edu/users/rami/   » Grossberg, Rami Open in a new browser window
   Carnegie Mellon University - Model theory.
   http://www.math.cmu.edu/users/rami/

http://alessio.guglielmi.name/   » Guglielmi, Alessio Open in a new browser window
   Technische Universitaet Dresden - Proof Theory.
   http://alessio.guglielmi.name/

http://sunpool.mathematik.uni-freiburg.de/home/herwig/   » Herwig, Bernhard Open in a new browser window
   University of Freiburg - Model theory.
   http://sunpool.mathematik.uni-freiburg.de/home/herwig/

http://www-maths.swan.ac.uk/staff/jrh/   » Hindley, J. R. Open in a new browser window
   University of Wales, Swansea - Lambda-calculus, combinatory logic and type-theory.
   http://www-maths.swan.ac.uk/staff/jrh/

http://www.math.ucla.edu/~greg/   » Hjorth, Greg Open in a new browser window
   UCLA - Descriptive set theory, countable models, definable equivalence relations.
   http://www.math.ucla.edu/~greg/

http://www.maths.qmw.ac.uk/~wilfrid/   » Hodges, Wilfrid Open in a new browser window
   University of London - Model theory.
   http://www.maths.qmw.ac.uk/~wilfrid/

http://diamond.boisestate.edu/~holmes/   » Holmes, Randall Open in a new browser window
   Boise State University - Set theory: New Foundations, automated theorem proving.
   http://diamond.boisestate.edu/~holmes/

http://www.emunix.emich.edu/~phoward/   » Howard, Paul Open in a new browser window
   Eastern Michigan University - Axiom of choice.
   http://www.emunix.emich.edu/~phoward/

http://www.csc.liv.ac.uk/~ullrich/   » Hustadt, Ullrich Open in a new browser window
   University of Liverpool - Resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic.
   http://www.csc.liv.ac.uk/~ullrich/

http://www.dpmms.cam.ac.uk/~martin/index.html   » Hyland, J. Martin E. Open in a new browser window
   University of Cambridge - Categorical logic, game semantics and logic in computer science.
   http://www.dpmms.cam.ac.uk/~martin/index.html

http://www.cs.chalmers.se/~reiner/   » Hähnle, Reiner Open in a new browser window
   Chalmers University of Technology, Sweden - Tableau-based automated theorem proving, many-valued logic, formal verification.
   http://www.cs.chalmers.se/~reiner/

http://www.csc.villanova.edu/~japaridz/   » Japaridze, Giorgi Open in a new browser window
   Villanova University - computability logic, game semantics, provability logic.
   http://www.csc.villanova.edu/~japaridz/

http://www.math.psu.edu/jech/   » Jech, Thomas Open in a new browser window
   Pennsylvania State University - Set theory.
   http://www.math.psu.edu/jech/

http://www.math.uiuc.edu/~jockusch/   » Jockusch, Carl G. Open in a new browser window
   University of Illinois, Urbana Champaign - Recursion theory.
   http://www.math.uiuc.edu/~jockusch/

http://sunpool.mathematik.uni-freiburg.de/home/junker/Junker-eng.html   » Junker, Markus Open in a new browser window
   University of Freiburg - Model theory.
   http://sunpool.mathematik.uni-freiburg.de/home/junker/Junker-eng.html

http://math.uh.edu/~klaus/   » Kaiser, Klaus Open in a new browser window
   University of Houston - Mathematical logic, universal algebra, lattice theory and logic programming.
   http://math.uh.edu/~klaus/

http://math.bu.edu/people/aki/   » Kanamori, Akihiro Open in a new browser window
   Boston University - Set theory.
   http://math.bu.edu/people/aki/

http://www.kastermans.nl/bart/   » Kastermans, Bart Open in a new browser window
   University of Michigan - Set theory.
   http://www.kastermans.nl/bart/

http://for.mat.bham.ac.uk/R.W.Kaye/   » Kaye, Richard Open in a new browser window
   University of Birmingham - Model theory.
   http://for.mat.bham.ac.uk/R.W.Kaye/

http://www.math.caltech.edu/people/kechris.html   » Kechris, Alexander S. Open in a new browser window
   Caltech - Foundations of mathematics, mathematical logic and set theory, interactions with analysis.
   http://www.math.caltech.edu/people/kechris.html

http://math.nd.edu/faculty/knight.shtml   » Knight, Julia F. Open in a new browser window
   University of Notre Dame - Recursion theory.
   http://math.nd.edu/faculty/knight.shtml

http://www.math.wisc.edu/~kunen/   » Kunen, Kenneth Open in a new browser window
   University of Wisconsin, Madison - Set theory.
   http://www.math.wisc.edu/~kunen/

http://iml.univ-mrs.fr/~lafont/welcome.html   » Lafont, Yves Open in a new browser window
   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

http://www-i5.informatik.rwth-aachen.de/gerhard/   » Lakemeyer, Gerhard Open in a new browser window
   Aachen University of Technology - Knowledge-based systems.
   http://www-i5.informatik.rwth-aachen.de/gerhard/

http://www.math.ufl.edu/~jal/   » Larson, Jean A. Open in a new browser window
   University of Florida - Set theory, combinatorics.
   http://www.math.ufl.edu/~jal/

http://www.logique.jussieu.fr/www.lascar/   » Lascar, Daniel Open in a new browser window
   CNRS / University of Paris 7 - Model theory.
   http://www.logique.jussieu.fr/www.lascar/

http://www.cs.indiana.edu/~leivant/   » Leivant, Daniel Open in a new browser window
   Indiana University - Computational complexity.
   http://www.cs.indiana.edu/~leivant/

http://www.math.wisc.edu/~lempp/   » Lempp, Steffen Open in a new browser window
   University of Wisconsin, Madison - Computability, recursion theory.
   http://www.math.wisc.edu/~lempp/

http://www.math.uic.edu/~lessmann/   » Lessmann, Olivier Open in a new browser window
   University of Illinois, Chicago - Model theory.
   http://www.math.uic.edu/~lessmann/

http://www.cs.toronto.edu/~hector/   » Levesque, Hector Open in a new browser window
   University of Toronto - Knowledge representation.
   http://www.cs.toronto.edu/~hector/

http://www.haverford.edu/cmsc/slindell/   » Lindell, Steven Open in a new browser window
   Haverford College - Finite model theory, descriptive complexity.
   http://www.haverford.edu/cmsc/slindell/

http://www.cs.rhul.ac.uk/~zhaohui/   » Luo, Zhaohui Open in a new browser window
   University of London, UK - Type theory, theoretical computer science and semantics of natural languages.
   http://www.cs.rhul.ac.uk/~zhaohui/

http://www.lps.uci.edu/home/fac-staff/faculty/maddy/   » Maddy, Penelope Open in a new browser window
   University of California Irvine - Philosophy of logic and mathematics.
   http://www.lps.uci.edu/home/fac-staff/faculty/maddy/

http://www.cs.technion.ac.il/~janos/index.html   » Makowsky, Johann (Janos) A. Open in a new browser window
   Technion, Israel - Logic in computer science, finite model theory.
   http://www.cs.technion.ac.il/~janos/index.html

http://www.geocities.com/jm_logica/   » Marcos, João Open in a new browser window
   State University of Campinas, Brazil - Philosophical logic, paraconsistent, many-valued and modal logics.
   http://www.geocities.com/jm_logica/

http://www.math.uic.edu/~marker/   » Marker, David Open in a new browser window
   University of Illinois, Chicago - Model theory.
   http://www.math.uic.edu/~marker/

http://logic.pdmi.ras.ru/~yumat   » Matiyasevich, Yuri Open in a new browser window
   Steklov Institute, St. Petersburg - Algorithmical number theory.
   http://logic.pdmi.ras.ru/~yumat

http://www.math.vanderbilt.edu/~mckenzie/   » McKenzie, Ralph Open in a new browser window
   Vanderbildt University and UC Berkeley - Algebra, logic, combinatorics.
   http://www.math.vanderbilt.edu/~mckenzie/

http://www.math.uiuc.edu/~mileti/   » Mileti, Joe Open in a new browser window
   University of Illinois at Urbana-Champaign - Computability theory.
   http://www.math.uiuc.edu/~mileti/

http://www.cse.psu.edu/~dale/   » Miller, Dale Open in a new browser window
   Penn State University - Linear logic, proof search and declarative programming languages.
   http://www.cse.psu.edu/~dale/

http://www.math.ufl.edu/~mitchell/   » Mitchell, William Open in a new browser window
   University of Florida - Set theory.
   http://www.math.ufl.edu/~mitchell/

http://www.colorado.edu/math/courses/monkd/   » Monk, Donald Open in a new browser window
   University of Colorado, Boulder - Boolean algebras.
   http://www.colorado.edu/math/courses/monkd/

http://www.math.uiuc.edu/~jamoreno   » Moreno, Javier Open in a new browser window
   University of Illinois, Urbana-Champaign - Model theory and applications.
   http://www.math.uiuc.edu/~jamoreno

http://www.math.ucla.edu/~ynm/   » Moschovakis, Yiannis N. Open in a new browser window
   UCLA - Set theory, recursion theory.
   http://www.math.ucla.edu/~ynm/

http://math.indiana.edu/home/moss/home.html   » Moss, Lawrence Open in a new browser window
   Indiana University - Applied logic.
   http://math.indiana.edu/home/moss/home.html

http://www.math.princeton.edu/~nelson/index.html   » Nelson, Edward Open in a new browser window
   Princeton University - Bounded arithmetic, automated proof verification (QED).
   http://www.math.princeton.edu/~nelson/index.html

http://www.math.cornell.edu/~anil/   » Nerode, Anil Open in a new browser window
   Cornell University - Computability theory, logic in computer science, history of logic.
   http://www.math.cornell.edu/~anil/

http://web.comlab.ox.ac.uk/oucl/people/luke.ong.html   » Ong, C.-H. Luke Open in a new browser window
   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

http://www.jaist.ac.jp/is/labs/ono-ishihara-lab/members/ono.html   » Ono, Hiroakira Open in a new browser window
   Japan Advanced Institute of Science and Technology - Nonclassical logic, substructural logics, logic of knowledge and belief, cumulative reasoning.
   http://www.jaist.ac.jp/is/labs/ono-ishihara-lab/members/ono.html

http://www.sci.brooklyn.cuny.edu/cis/parikh/   » Parikh, Rohit Open in a new browser window
   Brooklyn College - Reasoning about knowledge, belief revision, game theory, philosophy of language.
   http://www.sci.brooklyn.cuny.edu/cis/parikh/

http://www.iac.rm.cnr.it/~marco/html   » Pedicini, Marco Open in a new browser window
   Institute for Applied Calculus, Rome - Theoretical computer science, linear logic, geometry of interaction, optimal reductions.
   http://www.iac.rm.cnr.it/~marco/html

http://www.cs.cmu.edu/~fp/   » Pfenning, Frank Open in a new browser window
   Carnegie Mellon University - Logic and programming languages, logical frameworks, type theory.
   http://www.cs.cmu.edu/~fp/

http://www.cl.cam.ac.uk/~amp12/   » Pitts, Andrew Open in a new browser window
   University of Cambridge - Categorical logic, type theory, semantics of programming languages and logic in computer science.
   http://www.cl.cam.ac.uk/~amp12/

http://www.inf.ed.ac.uk/people/staff/Gordon_Plotkin.html   » Plotkin, Gordon Open in a new browser window
   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 c
   http://www.inf.ed.ac.uk/people/staff/Gordon_Plotkin.html

http://www.cs.sjsu.edu/faculty/pollett/   » Pollett, Chris Open in a new browser window
   San Jose State University - Logic, bounded arithemtic, computational complexity and quantum computation.
   http://www.cs.sjsu.edu/faculty/pollett/

http://boole.stanford.edu/pratt.html   » Pratt, Vaughan Open in a new browser window
   Stanford University - Linear logic, Chu spaces, foundations of mathematics, theoretical computer science and wearable computing.
   http://boole.stanford.edu/pratt.html

http://www.maths.man.ac.uk/~mprest/   » Prest, Mike Open in a new browser window
   University of Manchester - Algebra and model theory.
   http://www.maths.man.ac.uk/~mprest/

http://www.bath.ac.uk/~cssdjp/   » Pym, David J. Open in a new browser window
   University of Bath, UK - Semantics of programming languages, type theory, proof-search, logic programming, theorem proving.
   http://www.bath.ac.uk/~cssdjp/

http://www.doc.mmu.ac.uk/STAFF/P.Quigley/   » Quigley, Peter Open in a new browser window
   Manchester Metropolitan University - Computational logic, formal methods, formal specification, automated reasoning and proof planning.
   http://www.doc.mmu.ac.uk/STAFF/P.Quigley/

http://www.amsta.leeds.ac.uk/Pure/staff/rathjen/rathjen.html   » Rathjen, Michael Open in a new browser window
   University of Leeds - Proof theory.
   http://www.amsta.leeds.ac.uk/Pure/staff/rathjen/rathjen.html

http://iml.univ-mrs.fr/~regnier/   » Regnier, Laurent Open in a new browser window
   University of Marseilles - Linear logic, lambda calculus and abstract machine interpretations.
   http://iml.univ-mrs.fr/~regnier/

http://www.phil.mq.edu.au/staff/grestall/   » Restall, Greg Open in a new browser window
   Macquarie University - Philosophy of logic, substructural logics.
   http://www.phil.mq.edu.au/staff/grestall/

http://www.dcs.qmw.ac.uk/~edmundr/   » Robinson, Edmund Open in a new browser window
   Queen Mary and Westfield College - Categorical logic and the semantics of programming languages and type theories.
   http://www.dcs.qmw.ac.uk/~edmundr/

http://www.math.purdue.edu/~jer/   » Rubin, Jean E. Open in a new browser window
   Purdue University - Set theory, axiom of choice.
   http://www.math.purdue.edu/~jer/

http://www.cis.upenn.edu/~scedrov/   » Scedrov, Andre Open in a new browser window
   University of Pennsylvania - Logic in computer science, linear logic.
   http://www.cis.upenn.edu/~scedrov/

http://www.cs.man.ac.uk/~schmidt/   » Schmidt, Renate Open in a new browser window
   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/

http://www.cs.cmu.edu/~scott/   » Scott, Dana Open in a new browser window
   Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation.
   http://www.cs.cmu.edu/~scott/

http://www.math.uu.se/~setzer/   » Setzer, Anton Open in a new browser window
   Uppsala University - proof theory (ordinal analysis), Martin-Löf type theory.
   http://www.math.uu.se/~setzer/

http://www.math.cornell.edu/~shore/   » Shore, Richard A. Open in a new browser window
   Cornell University - Recursion theory.
   http://www.math.cornell.edu/~shore/

http://www.hss.cmu.edu/philosophy/faculty-sieg.php   » Sieg, Wilfried Open in a new browser window
   Carnegie Mellon University - Proof theory, philosophy of mathematics, history of 19th and 20th century logic and mathematics.
   http://www.hss.cmu.edu/philosophy/faculty-sieg.php

http://www.math.psu.edu/simpson/   » Simpson, George Open in a new browser window
   Penn State University - Fuondations of mathematics and logic.
   http://www.math.psu.edu/simpson/

http://www-math.mit.edu/~sipser/index.html   » Sipser, Michael Open in a new browser window
   MIT - Complexity theory.
   http://www-math.mit.edu/~sipser/index.html

http://www.math.berkeley.edu/~slaman/   » Slaman, Theodore A. Open in a new browser window
   University of California, Berkeley - Recursion theory.
   http://www.math.berkeley.edu/~slaman/

http://www.cs.uchicago.edu/~soare/   » Soare, Robert I. Open in a new browser window
   University of Chicago - Recursion theory.
   http://www.cs.uchicago.edu/~soare/

http://www.math.berkeley.edu/~solovay/   » Solovay, Robert M. Open in a new browser window
   University of California, Berkeley - Proof theory.
   http://www.math.berkeley.edu/~solovay/

http://www.math.cmu.edu/people/fac/statman.html   » Statman, Richard Open in a new browser window
   Carnegie Mellon University - Theory of computation, lambda calculus, combinatory logic.
   http://www.math.cmu.edu/people/fac/statman.html

http://www.linearity.org/cas/   » Stewart, Charles Open in a new browser window
   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/

http://www.cs.man.ac.uk/~pt/   » Taylor, Paul Open in a new browser window
   Queen Mary and Westfield College, London - Foundations of Mathematics and Computation.
   http://www.cs.man.ac.uk/~pt/

http://staff.science.uva.nl/~johan/   » Van Benthem, Johan Open in a new browser window
   University of Amsterdam and Stanford University - Modal logic and a wide range of other areas in logic.
   http://staff.science.uva.nl/~johan/

http://www.phil.uu.nl/~dvdalen/   » Van Dalen, Dirk Open in a new browser window
   Utrecht University - Historical aspects of logic, philosophy of mathematics.
   http://www.phil.uu.nl/~dvdalen/

http://lpcs.math.msu.su/~ver/   » Vereshchagin, Nikolai Open in a new browser window
   Moscow State University - Theory of computation, Intuitionistic logic
   http://lpcs.math.msu.su/~ver/

http://www.cs.bham.ac.uk/~sjv/   » Vickers, Steven Open in a new browser window
   University of Birmingham, UK - Geometric logic, topos theory, quantales and semantics of programming languages.
   http://www.cs.bham.ac.uk/~sjv/

http://site.voila.fr/serban_e_vlad/   » Vlad, Serban E. Open in a new browser window
   Independent scholar, Bucharest - Asynchronous automata and binary valued mathematical analysis.
   http://site.voila.fr/serban_e_vlad/

http://www.uni-leipzig.de/~logik/wansing/wansing.html   » Wansing, Heinrich Open in a new browser window
   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

http://members.cox.net/wehmeier/   » Wehmeier, Kai Open in a new browser window
   UC Irvine - semantics and proof theory of intuitionistic arithmetic, logical analysis of modal discourse, the logic of Gottlob Frege.
   http://members.cox.net/wehmeier/

http://www.maths.bris.ac.uk/~mapdw/   » Welch, Philip Open in a new browser window
   University of Bristol - Set theory, inner models, descriptive set theory.
   http://www.maths.bris.ac.uk/~mapdw/

http://www.dcs.qmw.ac.uk/~graham/   » White, Graham Open in a new browser window
   Queen Mary and Westfield College, London - Philosophy and linear logic.
   http://www.dcs.qmw.ac.uk/~graham/

http://www.maths.ox.ac.uk/~wilkie/   » Wilkie, Alex Open in a new browser window
   Oxford University - Models of arithmetic.
   http://www.maths.ox.ac.uk/~wilkie/

http://www.ucalgary.ca/~rzach/   » Zach, Richard Open in a new browser window
   University of Calgary - Non-classical logics, proof theory, philosophy of mathematics, history and philosophy of logic.
   http://www.ucalgary.ca/~rzach/

http://logik.mathematik.uni-freiburg.de/personen/Ziegler.html   » Ziegler, Martin Open in a new browser window
   University of Freiburg - Model theory.
   http://logik.mathematik.uni-freiburg.de/personen/Ziegler.html

http://www.maths.ox.ac.uk/~zilber/   » Zilber, Boris Open in a new browser window
   University of Oxford - Model theory.
   http://www.maths.ox.ac.uk/~zilber/


This category needs an editor

Last Updated: 2006-08-23 23:21:35


Your Ad Here

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

The content of this directory is based on the Open Directory and has been modified by GoSearchFor.com

Free previews by Thumbshots.org