Shelah, Saharon - Rutgers University and Hebrew University - includes paper archive.

Slaman, Theodore A. - UC Berkeley - recursion theory

Solovay, Robert M. - UC Berkeley.

Schmidt, Renate - University of Manchester - modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation.

Hjorth, Greg - UCLA - descriptive set theory, countable models, definable equivalence relations.

Moschovakis, Yiannis N. - UCLA.

Kanamori, Akihiro - Boston University - set theory.

Avigad, Jeremy - Carnegie Mellon University - proof theory, constructive mathematics, proof complexity, and the history and philosophy of mathematics.

Kechris, Alexander S. - Caltech - foundations of mathematics, mathematical logic and set theory, interactions with analysis.

Awodey, Steve - Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.

Scott, Dana - Carnegie Mellon University - model theory, set Theory, foundations of logic and mahematics, symbolic mathematical computation.

Pfenning, Frank - Carnegie Mellon University - logic and programming languages, logical frameworks, type theory.

Friedman, Sy D. - MIT and University of Vienna - set theory.

Sieg, Wilfried - Carnegie Mellon University - proof theory, philosophy of mathematics, history of 19th and 20th century logic and mathematics.

Jech, Thomas - Pennsylvania State University - set theory.

Goldstern, Martin - University of Technology, Vienna - set theory.

Mitchell, William - University of Florida - set theory.

Larson, Jean A. - University of Florida - set theory, combinatorics.

Rathjen, Michael - University of Leeds - proof theory.

Burris, Stanley - University of Waterloo - universal algebra, logic, computers.

Cholak, Peter - University of Notre Dame - recursion theory.

Font, Josep Maria - University of Barcelona - Algebraic logic.

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.

Knight, Julia F. - University of Notre Dame - recursion theory.

Scedrov, Andre - University of Pennsylvania - logic in computer science, linear logic.

Blass, Andreas R. - University of Michigan, Ann Arbor - set theory, finite combinatorics, theoretical computer science.

Jockusch, Carl G. - University of Illinois, Urbana Champaign - recursion theory.

Pym, David J. - Queen Mary and Westfield College - semantics of programming languages, type theory, proof-search, logic programming, theorem proving.

Feferman, Solomon - Stanford University - proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic.

Buss, Samuel R. - UC San Diego - proof theory, computational complexity.

Etchemendy, John - Stanford University - philosophical logic, semantics, and philosophy of language.

Makowsky, Johann (Janos) A. - Technion - logic in computer science, finite model theory.

Berline, Chantal - University of Paris 7 - lambda calculus.

Danos, Vincent - University of Paris 7 - proof theory, linear logic.

Thiel, Christian - University of Erlangen-Nürnberg - history of logic.

Holmes, Randall - Boise State University - set theory: New Foundations, automated theorem proving.

Bartoszynski, Tomek - Boise State University - set theory.

Peckhaus, Volker - University of Erlangen-Nürnberg - history of logic.

Andrews, Peter B. - Carnegie Mellon University - type theory, automated theorem proving.

Chaitin, Gregory J. - IBM Research - algorithmic information theory.

Welch, Philip - University of Bristol - set theory, inner models, descriptive set theory.

Sipser, Michael - MIT - complexity theory.

Nelson, Edward - Princeton University - bounded arithmetic, automated proof verification (QED).

Cummings, James - Carnegie Mellon University - set theory.

Nies, Andre - University of Chicago - recursion theory.

Marker, David - University of Illinois, Chicago - model theory.

Odifreddi, Piergiorgio - University of Torino - recursion theory, intuitionistic logic, philosophy of mathematics.

Soare, Robert I. - University of Chicago - recursion theory.

Hindley, J. R. - University of Wales Swansea - lambda-calculus, combinatory logic and type-theory.

McKenzie, Ralph - Vanderbildt University and UC Berkeley - algebra, logic, combinatorics.

Hähnle, Reiner - University of Karlsruhe - tableau-based automated theorem proving, many-valued logic.

Carnielli, Walter A. - State University of Campinas, Brazil - foundations of non-classical logics, many-valued logics, paraconsistent logics, finite and infinite combinatorics.

Monk, Donald - University of Colorado, Boulder - Boolean algebras.

Shore, Richard A. - Cornell University - recursion theory.

Baldwin, John T. - University of Illinois, Chicago - model theory (finite and infinite).

Setzer, Anton - Uppsala University - proof theory (ordinal analysis), Martin-Löf type theory.

Buechler, Steven - University of Notre Dame - model theory.

Lascar, Daniel - CNRS / University of Paris 7 - model theory.

Chatzidakis, Zoé - CNRS / University of Paris 7 - model theory.

Forster, T. E. - University of Cambridge - set theory, type theory.

Grossberg, Rami - Carnegie Mellon University - model theory.

Kaye, Richard - University of Birmingham - model theory.

Herwig, Bernhard - University of Freiburg - model theory.

Hodges, Wilfrid - University of London - model theory.

Matiyasevich, Yuri - Steklov Institute, St. Petersburg - algorithmical number theory.

Lessmann, Olivier - University of Illinois, Chicago - model theory.

Junker, Markus - University of Freiburg - model theory.

Stewart, Charles - Technische Universität Berlin, Theory and Formal Specifications group - Proof theoretic semantics, lambda calculus, linear logic, theoretical computer science, philosophy of language.

Ziegler, Martin - University of Freiburg - model theory.

Nerode, Anil - Cornell University - computability theory, logic in computer science, history of logic.

Portier, Natacha - ENS Lyon.

Ebbinghaus, Heinz-Dieter - University of Freiburg - finite model theory.

Flum, Jörg - University of Freiburg - finite model theory.

Bouscaren, Elisabeth - CNRS / University of Paris 7 - model theory and algebraic geometry.

Shramko, Yaroslav - State Pedagogical University, Kryvyi Rih, Ukraine - Intuitionistic and relevant logics.

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.

Enderton, Herbert B. - UCLA - recursion theory, definability theory.

Kunen, Kenneth - University of Wisconsin, Madison - set theory.

Lempp, Steffen - University of Wisconsin, Madison - computability, recursion theory.

Kaiser, Klaus - University of Houston - mathematical logic, universal algebra, lattice theory and logic programming.

Howard, Paul - Eastern Michigan University - axiom of choice.

Rubin, Jean E. - Purdue University - set theory, axiom of choice.

Gehrke, Mai - New Mexico State University - nonstandard mathematics, operators on boolean algebras, fuzzy mathematics, universal algebra, general topology, posets and lattices.

Fitting, Melvin - City University of New York - logic in computer science, mathematics, and philosophy.

Luo, Zhaohui - Durham University, UK - type theory, theoretical computer science and semantics of natural languages. Formulated the Extended Calculus of Constructions.

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.

Bellin, Gianluigi - University of Leeds - Interested in proof theory, the formulae-as-types correspondence and semantics of programming languages.

Miller, Dale - Penn State University - Interested in linear logic, proof search and declarative programming languages.

Pitts, Andrew - University of Cambridge - Interested in categorical logic, type theory, seamntics of programming languages and logic in computer science.

Zach, Richard - University of Calgary - philosophy of mathematics, history and philosophy of logic, theory of proofs, and non-classical logics.

Vickers, Steven - Imperial College, London - Interested in Geometric logic, topos theory, quantales and semantics of programming languages.

Pratt, Vaughan - Stanford University - Interested in linear logic, Chu spaces, foundations of mathematics, theoretical computer science and wearable computing.

Hyland, J. Martin E. - University of Cambridge - Interested in categorical logic, game semantics and logic in computer science.

Pedicini, Marco - Institute for Applied Calculus, Rome - Theoretical computer science, linear logic, geometry of interaction, optimal reductions.

Ong, C.-H. Luke - Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.

Restall, Greg - Greg Restall's CV: downloadable publications on Philosophical Logic, Metaphysics, Philosophy of Language, Philosophy of Religion and related areas.

Restall, Greg - Macquarie University - Philosophy of logic, substructural logics.

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.

Dunn, J. Michael - Indiana University - algebra of logic, constructive and substructural logic, philosophical logic.

Zilber, Boris - University of Oxford - model theory.

Foreman, Matthew - UC Irvine.

Dixon, Clare - Manchester Metropolitan University - Resolution theorem proving, modal and temporal logics, automated reasoning, specification and verification of distributed and multi-agent systems.

Wilkie, Alex - Oxford University - Models of arithmetic.

Edmundo, Mario - Oxford University - Cohomology, K-theory and sheaves.

Gardener, Tim - Oxford University - Model theory of the p-adics, group theory, algebraic geometry.

Bolotov, Alexander - Manchester Metropolitan University - extension of the clausal temporal resolution method to branching-time temporal logics.

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.

Ghidini, Chiara - Manchester Metropolitan University - logics for federated databases and information integration, multi-agent systems, context-based reasoning, and belief contexts.

Hustadt, Ullrich - University of Liverpool - resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic.

Quigley, Peter - Manchester Metropolitan University - Computational Logic, Formal Methods, Formal Specification, Automated Reasoning and Proof Planning.

Moreno, Javier - UIUC - model theory and applications.

Aczel, Peter - University of Manchester - Philosophy and Foundations of Mathematics and Computing, Mathematical Logic, Categorical Logic.

Prest, Mike - University of Manchester - Algebra and Model Theory.

Paris, Jeff - University of Manchester - Mathematical Logic, in particular uncertain reasoning.

Robinson, Edmund - Queen Mary and Westfield College - categorical logic and the semantics of programming languages and type theories.

Wilmers, George - University of Manchester - Applications of mathematical logic in the foundations of uncertain reasoning; Natural prior probability distributions in uncertain reasoning.

White, Graham - Queen Mary and Westfield College, London - Philosophy and linear logic.

Taylor, Paul - Queen Mary and Westfield College, London - Foundations of Mathematics and Computation.

Darnière, Luck - University of Angers - model theory.

Marcos, João - Ghent University, Belgium, and 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.

Vermeir, Timothy - Centre for Logic and Philosophy of Science, University of Ghent, Belgium - nonmonotonic, adaptive, nonclassical, paraconsistent logics and logic programming.

Statman, Richard - Carnegie Mellon University - theory of computation, lambda calculus, combinatory logic.