| 1. | Aczel, Peter | | | University of Manchester - Philosophy and Foundations of Mathematics and Computing, Mathematical Logic, Categorical Logic.
www.cs.man.ac.uk |
| 2. | Andrews, Peter B. | | | Carnegie Mellon University - type theory, automated theorem proving.
www.cs.cmu.edu |
| 3. | Awodey, Steve | | | Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
www.andrew.cmu.edu |
| 4. | Baldwin, John T. | | | University of Illinois, Chicago - Model theory (finite and infinite).
www.math.uic.edu |
| 6. | Blass, Andreas R. | | | University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.
www.math.lsa.umich.edu |
| 7. | Bouscaren, Elisabeth | | | CNRS / University of Paris 7 - Model theory and algebraic geometry.
www.logique.jussieu.fr |
| 9. | Buss, Samuel R. | | | University of California, San Diego - Proof theory, computational complexity.
math.ucsd.edu |
| 11. | Cummings, James | | | Carnegie Mellon University - Set theory.
www.math.cmu.edu |
| 12. | Danos, Vincent | | | University of Paris 7 - Proof theory, linear logic.
www.logique.jussieu.fr |
| 15. | Etchemendy, John | | | Stanford University - Philosophical logic, semantics, and philosophy of language.
www-csli.stanford.edu |
| 16. | Feferman, Solomon | | | Stanford University - Proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic.
math.Stanford.EDU |
| 17. | Fitting, Melvin | | | City University of New York - Logic in computer science, mathematics, and philosophy.
comet.lehman.cuny.edu |
| 19. | Forster, T. E. | | | University of Cambridge - Set theory, type theory.
www.dpmms.cam.ac.uk |
| 20. | 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 |
| 21. | Gerla, Giangiacomo | | | University of Salerno, Italy - Fuzzy logic, percentage logic, pointless geometry.
www.dmi.unisa.it |
| 23. | Grossberg, Rami | | | Carnegie Mellon University - Model theory.
www.math.cmu.edu |
| 24. | Hjorth, Greg | | | UCLA - Descriptive set theory, countable models, definable equivalence relations.
www.math.ucla.edu |
| 26. | Holmes, Randall | | | Boise State University - Set theory: New Foundations, automated theorem proving.
diamond.boisestate.edu |
| 27. | Howard, Paul | | | Eastern Michigan University - Axiom of choice.
www.emunix.emich.edu |
| 28. | Hustadt, Ullrich | | | University of Liverpool - Resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic.
www.csc.liv.ac.uk |
| 29. | Hyland, J. Martin E. | | | University of Cambridge - Categorical logic, game semantics and logic in computer science.
www.dpmms.cam.ac.uk |
| 30. | Jech, Thomas | | | Pennsylvania State University - Set theory.
www.math.psu.edu |
| 31. | Jockusch, Carl G. | | | University of Illinois, Urbana Champaign - Recursion theory.
www.math.uiuc.edu |
| 32. | Kaiser, Klaus | | | University of Houston - Mathematical logic, universal algebra, lattice theory and logic programming.
math.uh.edu |
| 34. | Kaye, Richard | | | University of Birmingham - Model theory.
for.mat.bham.ac.uk |
| 35. | Kechris, Alexander S. | | | Caltech - Foundations of mathematics, mathematical logic and set theory, interactions with analysis.
www.math.caltech.edu |
| 36. | Kunen, Kenneth | | | University of Wisconsin, Madison - Set theory.
www.math.wisc.edu |
| 37. | 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 |
| 38. | Larson, Jean A. | | | University of Florida - Set theory, combinatorics.
www.math.ufl.edu |
| 39. | Lascar, Daniel | | | CNRS / University of Paris 7 - Model theory.
www.logique.jussieu.fr |
| 40. | Lempp, Steffen | | | University of Wisconsin, Madison - Computability, recursion theory.
www.math.wisc.edu |
| 43. | 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 |
| 44. | Marker, David | | | University of Illinois, Chicago - Model theory.
www.math.uic.edu |
| 45. | McKenzie, Ralph | | | Vanderbildt University and UC Berkeley - Algebra, logic, combinatorics.
www.math.vanderbilt.edu |
| 46. | Miller, Dale | | | Penn State University - Linear logic, proof search and declarative programming languages.
www.cse.psu.edu |
| 48. | Monk, Donald | | | University of Colorado, Boulder - Boolean algebras.
www.Colorado.EDU |
| 50. | Nelson, Edward | | | Princeton University - Bounded arithmetic, automated proof verification (QED).
www.math.princeton.edu |
| 51. | Nerode, Anil | | | Cornell University - Computability theory, logic in computer science, history of logic.
www.math.cornell.edu |
| 52. | 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 |
| 53. | Paris, Jeff | | | University of Manchester - Mathematical Logic, in particular uncertain reasoning.
www.maths.man.ac.uk |
| 54. | Pfenning, Frank | | | Carnegie Mellon University - Logic and programming languages, logical frameworks, type theory.
www.cs.cmu.edu |
| 55. | Pitts, Andrew | | | University of Cambridge - Categorical logic, type theory, semantics of programming languages and logic in computer science.
www.cl.cam.ac.uk |
| 56. | Pratt, Vaughan | | | Stanford University - Linear logic, Chu spaces, foundations of mathematics, theoretical computer science and wearable computing.
boole.stanford.edu |
| 57. | Prest, Mike | | | University of Manchester - Algebra and model theory.
www.maths.man.ac.uk |
| 58. | Quigley, Peter | | | Manchester Metropolitan University - Computational logic, formal methods, formal specification, automated reasoning and proof planning.
www.doc.mmu.ac.uk |
| 60. | Regnier, Laurent | | | University of Marseilles - Linear logic, lambda calculus and abstract machine interpretations.
iml.univ-mrs.fr |
| 61. | Restall, Greg | | | Macquarie University - Philosophy of logic, substructural logics.
www.phil.mq.edu.au |
| 62. | Robinson, Edmund | | | Queen Mary and Westfield College - Categorical logic and the semantics of programming languages and type theories.
www.dcs.qmw.ac.uk |
| 63. | Scedrov, Andre | | | University of Pennsylvania - Logic in computer science, linear logic.
www.cis.upenn.edu |
| 64. | 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 |
| 65. | Scott, Dana | | | Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation.
www.cs.cmu.edu |
| 66. | Vlad, Serban E. | | | Independent scholar, Bucharest - Asynchronous automata and binary valued mathematical analysis.
site.voila.fr |
| 67. | Setzer, Anton | | | Uppsala University - proof theory (ordinal analysis), Martin-Löf type theory.
www.math.uu.se |
| 68. | Shelah, Saharon | | | Rutgers University and Hebrew University - includes paper archive.
math.rutgers.edu |
| 70. | Sieg, Wilfried | | | Carnegie Mellon University - Proof theory, philosophy of mathematics, history of 19th and 20th century logic and mathematics.
www.hss.cmu.edu |
| 72. | Statman, Richard | | | Carnegie Mellon University - Theory of computation, lambda calculus, combinatory logic.
www.math.cmu.edu |
| 73. | 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 |
| 74. | 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 |
| 75. | White, Graham | | | Queen Mary and Westfield College, London - Philosophy and linear logic.
www.dcs.qmw.ac.uk |
| 76. | Wilkie, Alex | | | Oxford University - Models of arithmetic.
www.maths.ox.ac.uk |
| 77. | 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 |
| 78. | Zach, Richard | | | University of Calgary - Non-classical logics, proof theory, philosophy of mathematics, history and philosophy of logic.
www.ucalgary.ca |
| 79. | Zilber, Boris | | | University of Oxford - Model theory.
www.maths.ox.ac.uk |
| 80. | Hindley, J. R. | | | University of Wales, Swansea - Lambda-calculus, combinatory logic and type-theory.
www-maths.swan.ac.uk:80 |
| 82. | Hähnle, Reiner | | | Chalmers University of Technology, Sweden - Tableau-based automated theorem proving, many-valued logic, formal verification.
www.cs.chalmers.se |
| 83. | Chatzidakis, Zoé | | | CNRS/University of Paris 7 - Model theory.
www.logique.jussieu.fr |
| 84. | Darnière, Luck | | | University of Angers, France - Model theory.
math.univ-angers.fr |
| 86. | Pym, David | | | University of Bath, England - Proof theory, logic and computation.
www.bath.ac.uk |
| 88. | Pollett, Chris | | | San Jose State University - Logic, bounded arithemtic, computational complexity and quantum computation.
www.cs.sjsu.edu |
| 89. | Mileti, Joe | | | University of Illinois at Urbana-Champaign - Computability theory.
www.math.uiuc.edu |
| 91. | Rubin, Jean E. | | | Purdue University - Set theory, axiom of choice.
www.math.purdue.edu |
| | |