|
Scedrov, Andre
University of Pennsylvania - Logic in computer science, linear logic.
http://www.cis.upenn.edu/~scedrov/
Miller, Dale
École polytechnique, France.
http://www.cse.psu.edu/~dale/
Fitting, Melvin
City University of New York - Logic in computer science, mathematics, philosophy.
http://comet.lehman.cuny.edu/fitting/
Marker, David
University of Illinois, Chicago - Model theory.
http://www.math.uic.edu/~marker/
Aczel, Peter
University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.
http://www.cs.man.ac.uk/~petera/
Junker, Markus
University of Freiburg - Model theory.
http://sunpool.mathematik.uni-freiburg.de/...
Jockusch, Carl G.
University of Illinois, Urbana Champaign - Recursion theory.
http://www.math.uiuc.edu/~jockusch/
Foreman, Matthew
University of California, Irvine.
http://www.math.uci.edu/faculty/mforeman.h...
Maddy, Penelope
University of California Irvine - Philosophy of logic and mathematics.
http://www.lps.uci.edu/home/fac-staff/facu...
Vereshchagin, N.K.
Moscow State University.
http://lpcs.math.msu.su/~ver/
Lindell, Steven
Haverford College - Finite model theory, descriptive complexity.
http://www.haverford.edu/cmsc/slindell/
Welch, Philip
University of Bristol - Set theory, inner models, descriptive set theory.
http://www.maths.bris.ac.uk/~mapdw/
Buss, Samuel R.
University of California, San Diego - Proof theory, computational complexity.
http://math.ucsd.edu/~sbuss/
Enderton, Herbert B.
UCLA.
http://www.math.ucla.edu/~hbe/
Kanamori, Akihiro
Boston University - Set theory.
http://math.bu.edu/people/aki/
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/
Kaye, Richard
University of Birmingham - Model theory.
http://for.mat.bham.ac.uk/R.W.Kaye/
Kaiser, Klaus
University of Houston - Mathematical logic, universal algebra, lattice theory and logic programming.
http://math.uh.edu/~klaus/
Paul Taylor's Home Page
Includes papers on category theory.
http://www.cs.man.ac.uk/~pt/
Vlad, Serban E.
Independent scholar, Bucharest - Asynchronous automata and binary valued mathematical analysis.
http://site.voila.fr/serban_e_vlad/
Moschovakis, Yiannis N.
UCLA - Set theory, recursion theory.
http://www.math.ucla.edu/~ynm/
Moss, Lawrence
Indiana University - Applied logic.
http://math.indiana.edu/home/moss/home.htm...
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
Zach, Richard
University of Calgary - Philosophy of mathematics, history and philosophy of logic.
http://www.ucalgary.ca/~rzach/
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.h...
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.
http://www.inf.ed.ac.uk/people/staff/Gordo...
Shore, Richard A.
Cornell University - Recursion theory.
http://www.math.cornell.edu/~shore/
Cummings, James
Carnegie Mellon University.
http://www.math.cmu.edu/users/jcumming/
Sieg, Wilfried
Carnegie Mellon University - Proof theory, philosophy of mathematics, history of 19th and 20th century logic and mathematics.
http://www.hss.cmu.edu/philosophy/faculty-...
Pfenning, Frank
Carnegie Mellon University, USA.
http://www.cs.cmu.edu/~fp/
Kunen, Kenneth
University of Wisconsin, Madison - Set theory.
http://www.math.wisc.edu/~kunen/
Luo, Zhaohui
University of London, UK - Type theory, theoretical computer science and semantics of natural languages.
http://www.cs.rhul.ac.uk/~zhaohui/
Knight, Julia F.
University of Notre Dame - Recursion theory.
http://math.nd.edu/faculty/knight.shtml
Carlstrom, Jesper
Stockholm University - Constructive type theory and related mathematics.
http://www.math.su.se/~jesper/
Regnier, Laurent
University of Marseilles - Linear logic, lambda calculus and abstract machine interpretations.
http://iml.univ-mrs.fr/~regnier/
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/
Barendregt, Henk
Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.
http://www.cs.ru.nl/~henk/
Avigad, Jeremy
Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.
http://www.andrew.cmu.edu/user/avigad/
Hähnle, Reiner
Chalmers University of Technology, Sweden - Tableau-based automated theorem proving, many-valued logic, formal verification.
http://www.cs.chalmers.se/~reiner/
Awodey, Steve
Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
http://www.andrew.cmu.edu/user/awodey/
Darnière, Luck
University of Angers, France - Model theory.
http://math.univ-angers.fr/~darniere/home_...
Soare, Robert I.
University of Chicago - Recursion theory.
http://www.cs.uchicago.edu/~soare/
Marcos, João
State University of Campinas, Brazil - Philosophical logic, paraconsistent, many-valued and modal logics.
http://www.geocities.com/jm_logica/
Vickers, Steven
University of Birmingham, UK - Geometric logic, topos theory, quantales and semantics of programming languages.
http://www.cs.bham.ac.uk/~sjv/
Hyland, J.M.E.
Kings College, UK.
http://www.dpmms.cam.ac.uk/~martin/index.h...
Forster, T.E.
University of Cambridge.
http://www.dpmms.cam.ac.uk/~tf/
Ebbinghaus, Heinz-Dieter
University of Freiburg - Finite model theory.
http://logik.mathematik.uni-freiburg.de/pe...
Kechris, Alexander S.
Caltech - Foundations of mathematics, mathematical logic and set theory, interactions with analysis.
http://www.math.caltech.edu/people/kechris...
Hjorth, Greg
UCLA - Descriptive set theory, countable models, definable equivalence relations.
http://www.math.ucla.edu/~greg/
Holmes, Randall
Boise State University - Set theory: New Foundations, automated theorem proving.
http://diamond.boisestate.edu/~holmes/
Bouscaren, Elisabeth
CNRS / University of Paris 7 - Model theory and algebraic geometry.
http://www.logique.jussieu.fr/www.elibou/
Rubin, Jean E.
Purdue University - Set theory, axiom of choice.
http://www.math.purdue.edu/~jer/
Moreno, Javier
University of Illinois, Urbana-Champaign - Model theory and applications.
http://www.math.uiuc.edu/~jamoreno
Flum, Jörg
University of Freiburg - Finite model theory.
http://logik.mathematik.uni-freiburg.de/pe...
Pollett, Chris
San Jose State University.
http://www.cs.sjsu.edu/faculty/pollett/
Makowsky, Johann
The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity.
http://www.cs.technion.ac.il/~janos/index....
Giorgi Japaridze
Associate Professor in Department of Computing Sciences, Villanova University, Pennsylvania.
http://www.csc.villanova.edu/~japaridz/
Simpson, George
Penn State University - Fuondations of mathematics and logic.
http://www.math.psu.edu/simpson/
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/
Etchemendy, John
Stanford University - Philosophical logic, semantics, and philosophy of language.
http://www-csli.stanford.edu/hp/etchemendy...
Scott, Dana
Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation.
http://www.cs.cmu.edu/~scott/
Danos, Vincent
University of Paris, France.
http://www.logique.jussieu.fr/www.danos/
Rathjen, Michael
University of Leeds - Proof theory.
http://www.amsta.leeds.ac.uk/Pure/staff/ra...
Ziegler, Martin
University of Freiburg - Model theory.
http://logik.mathematik.uni-freiburg.de/pe...
Hindley, J. R.
University of Wales, Swansea - Lambda-calculus, combinatory logic and type-theory.
http://www-maths.swan.ac.uk/staff/jrh/
Lascar, Daniel
CNRS / University of Paris 7 - Model theory.
http://www.logique.jussieu.fr/www.lascar/
Bartoszynski, Tomek
Boise State University - Set theory.
http://diamond.boisestate.edu/~tomek/
McKenzie, Ralph
Vanderbildt University and UC Berkeley - Algebra, logic, combinatorics.
http://www.math.vanderbilt.edu/~mckenzie/
Goldstern, Martin
Technical University of Vienna.
http://info.tuwien.ac.at/goldstern/
Nelson, Edward
Princeton University - Bounded arithmetic, automated proof verification (QED).
http://www.math.princeton.edu/~nelson/inde...
Levesque, Hector
University of Toronto - Knowledge representation.
http://www.cs.toronto.edu/~hector/
Jech, Thomas
Pennsylvania State University - Set theory.
http://www.math.psu.edu/jech/
Kastermans, Bart
University of Michigan - Set theory.
http://www.kastermans.nl/bart/
Buechler, Steven
University of Notre Dame - Model theory.
http://www.nd.edu/~steve/
Chatzidakis, Zoé
CNRS/University of Paris 7 - Model theory.
http://www.logique.jussieu.fr/www.zoe/
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/
Cholak, Peter
University of Notre Dame - Recursion theory.
http://www.math.nd.edu/faculty/cholak.shtm...
Van Dalen, Dirk
Utrecht University - Historical aspects of logic, philosophy of mathematics.
http://www.phil.uu.nl/~dvdalen/
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.htm...
Guglielmi, Alessio
Technische Universitaet Dresden - Proof Theory.
http://alessio.guglielmi.name/
Nerode, Anil
Cornell University - Computability theory, logic in computer science, history of logic.
http://www.math.cornell.edu/~anil/
Chaitin, Greg
IBM Research.
http://www.cs.auckland.ac.nz/CDMTCS/chaiti...
Ono, Hiroakira
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-ishihar...
Pitts, Andrew
University of Cambridge, UK.
http://www.cl.cam.ac.uk/~amp12/
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
Andrews, Peter B.
Carnegie Mellon University - Type theory, automated theorem proving.
http://gtps.math.cmu.edu/andrews.html
Lessmann, Olivier
University of Illinois, Chicago - Model theory.
http://www.math.uic.edu/~lessmann/
Baldwin, John T.
University of Illinois, Chicago - Model theory (finite and infinite).
http://www.math.uic.edu/~jbaldwin/
Herwig, Bernhard
University of Freiburg - Model theory.
http://sunpool.mathematik.uni-freiburg.de/...
Parikh, Rohit
Brooklyn College, USA and City University of New York, USA.
http://www.sci.brooklyn.cuny.edu/cis/parik...
Larson, Jean A.
University of Essen.
http://www.math.ufl.edu/~jal/
Ong, Luke
Oxford University Computing Laboratory, UK.
http://web.comlab.ox.ac.uk/oucl/people/luk...
Lempp, Steffen
University of Wisconsin, Madison - Computability, recursion theory.
http://www.math.wisc.edu/~lempp/
Dosen, Kosta
University of Belgrade, Yugoslavia.
http://www.mi.sanu.ac.yu/~kosta/
Prest, Mike
University of Manchester - Algebra and model theory.
http://www.maths.man.ac.uk/~mprest/
Solovay, Robert M.
University of California, Berkeley - Proof theory.
http://www.math.berkeley.edu/~solovay/
Mileti, Joe
University of Illinois at Urbana-Champaign - Computability theory.
http://www.math.uiuc.edu/~mileti/
Feferman, Solomon
Stanford University - Proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic.
http://math.stanford.edu/~feferman/
Restall, Greg
Macquarie University - Philosophy of logic, substructural logics.
http://www.phil.mq.edu.au/staff/grestall/
Stewart, Charles
Boston University - Programming language theory, optimal reductions, graph reduction, linear logic, semantics of logic, formulae-as-types correspondence, continuation semantics.
http://www.linearity.org/cas/
Artemov, Sergei N.
City University of New York - Distinguished Professor of Computer Science, Mathematics, and Philosophy
http://www.cs.gc.cuny.edu/~sartemov/
Grossberg, Rami
Carnegie Mellon University - Model theory.
http://www.math.cmu.edu/users/rami/
Mitchell, William
University of Florida - Set theory.
http://www.math.ufl.edu/~mitchell/
Hodges, Wilfrid
University of London - Model theory.
http://www.maths.qmw.ac.uk/~wilfrid/
Monk, Donald
University of Colorado, Boulder - Boolean algebras.
http://www.Colorado.EDU/math/courses/monkd...
Lakemeyer, Gerhard
Aachen University of Technology - Knowledge-based systems.
http://www-i5.informatik.rwth-aachen.de/ge...
Scott Weinstein
University of Pennsylvania - Finite model theory, learning theory.
http://www.cis.upenn.edu/~weinstein/home.h...
Zilber, Boris
University of Oxford - Model theory.
http://www.maths.ox.ac.uk/~zilber/
Friedman, Sy D.
University of Vienna.
http://www.logic.univie.ac.at/~sdf/
Detlefsen, Michael
University of Notre Dame - Formal logic, philosophy of mathematics.
http://www.nd.edu/~ndphilo/faculty/mdet.ht...
Matiyasevich, Yuri
Steklov Institute, St. Petersburg - Algorithmical number theory.
http://logic.pdmi.ras.ru/~yumat
Friedman, Harvey
Ohio State University - Model theory, proof theory, intuitionism, recursion theory, set theory, complexity theory.
http://www.math.ohio-state.edu/foundations...
Blass, Andreas
University of Michigan, USA.
http://www.math.lsa.umich.edu/~ablass/
Beklemishev, Lev
Utrecht University, the Netherlands and Steklov Mathematical Institute, Russia.
http://www.phil.uu.nl/~lev/
Sipser, Michael
MIT - Complexity theory.
http://www-math.mit.edu/~sipser/index.html
Burris, Stanley
University of Waterloo - Universal algebra, logic, computers.
http://www.thoralf.uwaterloo.ca/
Pym, David J.
University of Bath, UK - Semantics of programming languages, type theory, proof-search, logic programming, theorem proving.
http://www.bath.ac.uk/~cssdjp/
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/w...
White, Graham
Queen Mary and Westfield College, London - Philosophy and linear logic.
http://www.dcs.qmw.ac.uk/~graham/
Setzer, Anton
Uppsala University - proof theory (ordinal analysis), Martin-Löf type theory.
http://www.math.uu.se/~setzer/
Leivant, Daniel
Indiana University.
http://www.cs.indiana.edu/~leivant/
Gerla, Giangiacomo
University of Salerno, Italy - Fuzzy logic, percentage logic, pointless geometry.
http://www.dmi.unisa.it/people/gerla/www/
Van Benthem, Johan
University of Amsterdam, the Netherlands and Stanford University, USA.
http://staff.science.uva.nl/~johan/
Wilkie, Alex
Oxford University - Models of arithmetic.
http://www.maths.ox.ac.uk/~wilkie/
Statman, Richard
Carnegie Mellon University - Theory of computation, lambda calculus, combinatory logic.
http://www.math.cmu.edu/people/fac/statman...
Howard, Paul
Eastern Michigan University - Axiom of choice.
http://www.emunix.emich.edu/~phoward/
Slaman, Theodore A.
University of California, Berkeley - Recursion theory.
http://www.math.berkeley.edu/~slaman/
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/
Pratt, Vaughan
Stanford University - Linear logic, Chu spaces, foundations of mathematics, theoretical computer science and wearable computing.
http://boole.stanford.edu/pratt.html
|
2006