Aczel, Peter
University of Manchester - Philosophy and Foundations of Mathematics and Computing, Mathematical Logic, Categorical Logic. |
Andrews, Peter B.
Carnegie Mellon University - type theory, automated theorem proving. |
Avigad, Jeremy
Carnegie Mellon University - proof theory, constructive mathematics, proof complexity, and the history and philosophy of mathematics. |
Awodey, Steve
Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic. |
Baldwin, John T.
University of Illinois, Chicago - model theory (finite and infinite). |
Bartoszynski, Tomek
Boise State University - set theory. |
Bellin, Gianluigi
University of Leeds - Interested in proof theory, the formulae-as-types correspondence and semantics of programming languages. |
Berline, Chantal
University of Paris 7 - lambda calculus. |
Blass, Andreas R.
University of Michigan, Ann Arbor - set theory, finite combinatorics, theoretical computer science. |
Bolotov, Alexander
Manchester Metropolitan University - extension of the clausal temporal resolution method to branching-time temporal logics. |
Bouscaren, Elisabeth
CNRS / University of Paris 7 - model theory and algebraic geometry. |
Buechler, Steven
University of Notre Dame - model theory. |
Burris, Stanley
University of Waterloo - universal algebra, logic, computers. |
Buss, Samuel R.
UC San Diego - proof theory, computational complexity. |
Carnielli, Walter A.
State University of Campinas, Brazil - foundations of non-classical logics, many-valued logics, paraconsistent logics, finite and infinite combinatorics. |
Chaitin, Gregory J.
IBM Research - algorithmic information theory. |
Chatzidakis, Zoé
CNRS / University of Paris 7 - model theory. |
Cholak, Peter
University of Notre Dame - recursion theory. |
Cummings, James
Carnegie Mellon University - set theory. |
Danos, Vincent
University of Paris 7 - proof theory, linear logic. |
Darnière, Luck
University of Angers - model theory. |
Dixon, Clare
Manchester Metropolitan University - Resolution theorem proving, modal and temporal logics, automated reasoning, specification and verification of distributed and multi-agent systems. |
Ebbinghaus, Heinz-Dieter
University of Freiburg - finite model theory. |
Edmundo, Mario
Oxford University - Cohomology, K-theory and sheaves. |
Enderton, Herbert B.
UCLA - recursion theory, definability theory. |
Etchemendy, John
Stanford University - philosophical logic, semantics, and philosophy of language. |
Feferman, Solomon
Stanford University - proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic. |
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. |
Fitting, Melvin
City University of New York - logic in computer science, mathematics, and philosophy. |
Flum, Jörg
University of Freiburg - finite model theory. |
Font, Josep Maria
University of Barcelona - Algebraic logic. |
Foreman, Matthew
UC Irvine. |
Forster, T. E.
University of Cambridge - set theory, type theory. |
Friedman, Harvey
Ohio State University. |
Friedman, Sy D.
MIT and University of Vienna - set theory. |
Gardener, Tim
Oxford University - Model theory of the p-adics, group theory, algebraic geometry. |
Gehrke, Mai
New Mexico State University - nonstandard mathematics, operators on boolean algebras, fuzzy mathematics, universal algebra, general topology, posets and lattices. |
Gerla, Giangiacomo
Specialized in comparing fuzzy logic to percentage logic, as well as pointless geometry. Lists articles and publications by topic. |
Ghidini, Chiara
Manchester Metropolitan University - logics for federated databases and information integration, multi-agent systems, context-based reasoning, and belief contexts. |
Goldstern, Martin
University of Technology, Vienna - set theory. |
Grossberg, Rami
Carnegie Mellon University - model theory. |
Herwig, Bernhard
University of Freiburg - model theory. |
Hindley, J. R.
University of Wales Swansea - lambda-calculus, combinatory logic and type-theory. |
Hjorth, Greg
UCLA - descriptive set theory, countable models, definable equivalence relations. |
Hodges, Wilfrid
University of London - model theory. |
Holmes, Randall
Boise State University - set theory: New Foundations, automated theorem proving. |
Howard, Paul
Eastern Michigan University - axiom of choice. |
Hustadt, Ullrich
University of Liverpool - resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic. |
Hyland, J. Martin E.
University of Cambridge - Interested in categorical logic, game semantics and logic in computer science. |
Hähnle, Reiner
University of Karlsruhe - tableau-based automated theorem proving, many-valued logic. |
Jech, Thomas
Pennsylvania State University - set theory. |
Jockusch, Carl G.
University of Illinois, Urbana Champaign - recursion theory. |
Junker, Markus
University of Freiburg - model theory. |
Kaiser, Klaus
University of Houston - mathematical logic, universal algebra, lattice theory and logic programming. |
Kanamori, Akihiro
Boston University - set theory. |
Kaye, Richard
University of Birmingham - model theory. |
Kechris, Alexander S.
Caltech - foundations of mathematics, mathematical logic and set theory, interactions with analysis. |
Knight, Julia F.
University of Notre Dame - recursion theory. |
Kunen, Kenneth
University of Wisconsin, Madison - set theory. |
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. |
Larson, Jean A.
University of Florida - set theory, combinatorics. |
Lascar, Daniel
CNRS / University of Paris 7 - model theory. |
Lempp, Steffen
University of Wisconsin, Madison - computability, recursion theory. |
Lessmann, Olivier
University of Illinois, Chicago - model theory. |
Luo, Zhaohui
Durham University, UK - type theory, theoretical computer science and semantics of natural languages. Formulated the Extended Calculus of Constructions. |
Makowsky, Johann (Janos) A.
Technion - logic in computer science, finite model theory. |
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. |
Marker, David
University of Illinois, Chicago - model theory. |
Matiyasevich, Yuri
Steklov Institute, St. Petersburg - algorithmical number theory. |
McKenzie, Ralph
Vanderbildt University and UC Berkeley - algebra, logic, combinatorics. |
Miller, Dale
Penn State University - Interested in linear logic, proof search and declarative programming languages. |
Mitchell, William
University of Florida - set theory. |
Monk, Donald
University of Colorado, Boulder - Boolean algebras. |
Moreno, Javier
UIUC - model theory and applications. |
Moschovakis, Yiannis N.
UCLA. |
Nelson, Edward
Princeton University - bounded arithmetic, automated proof verification (QED). |
Nerode, Anil
Cornell University - computability theory, logic in computer science, history of logic. |
Nies, Andre
University of Chicago - recursion theory. |
Ong, C.-H. Luke
Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality. |
Paris, Jeff
University of Manchester - Mathematical Logic, in particular uncertain reasoning. |
Peckhaus, Volker
University of Erlangen-Nürnberg - history of logic. |
Pedicini, Marco
Institute for Applied Calculus, Rome - Theoretical computer science, linear logic, geometry of interaction, optimal reductions. |
Pfenning, Frank
Carnegie Mellon University - logic and programming languages, logical frameworks, type theory. |
Pitts, Andrew
University of Cambridge - Interested in categorical logic, type theory, seamntics of programming languages and logic in computer science. |
Portier, Natacha
ENS Lyon. |
Pratt, Vaughan
Stanford University - Interested in linear logic, Chu spaces, foundations of mathematics, theoretical computer science and wearable computing. |
Prest, Mike
University of Manchester - Algebra and Model Theory. |
Pym, David J.
Queen Mary and Westfield College - semantics of programming languages, type theory, proof-search, logic programming, theorem proving. |
Quigley, Peter
Manchester Metropolitan University - Computational Logic, Formal Methods, Formal Specification, Automated Reasoning and Proof Planning. |
Rathjen, Michael
University of Leeds - proof theory. |
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. |
Restall, Greg
Macquarie University - Philosophy of logic, substructural logics. |
Robinson, Edmund
Queen Mary and Westfield College - categorical logic and the semantics of programming languages and type theories. |
Rubin, Jean E.
Purdue University - set theory, axiom of choice. |
Scedrov, Andre
University of Pennsylvania - logic in computer science, linear logic. |
Schmidt, Renate
University of Manchester - modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation. |
Scott, Dana
Carnegie Mellon University - model theory, set Theory, foundations of logic and mahematics, symbolic mathematical computation. |
Serban E. Vlad
Features a list of publications by author about asynchronous automata and binary valued mathematical analysis. In PS and PDF format. |
Setzer, Anton
Uppsala University - proof theory (ordinal analysis), Martin-Löf type theory. |
Shelah, Saharon
Rutgers University and Hebrew University - includes paper archive. |
Shore, Richard A.
Cornell University - recursion theory. |
Shramko, Yaroslav
State Pedagogical University, Kryvyi Rih, Ukraine - Intuitionistic and relevant logics. |
Sieg, Wilfried
Carnegie Mellon University - proof theory, philosophy of mathematics, history of 19th and 20th century logic and mathematics. |
Sipser, Michael
MIT - complexity theory. |
Slaman, Theodore A.
UC Berkeley - recursion theory |
Soare, Robert I.
University of Chicago - recursion theory. |
Solovay, Robert M.
UC Berkeley. |
Statman, Richard
Carnegie Mellon University - theory of computation, lambda calculus, combinatory logic. |
Stewart, Charles
Technische Universität Berlin, Theory and Formal Specifications group - Proof theoretic semantics, lambda calculus, linear logic, theoretical computer science, philosophy of language. |
Taylor, Paul
Queen Mary and Westfield College, London - Foundations of Mathematics and Computation. |
Thiel, Christian
University of Erlangen-Nürnberg - history of logic. |
Vermeir, Timothy
Centre for Logic and Philosophy of Science, University of Ghent, Belgium - nonmonotonic, adaptive, nonclassical, paraconsistent logics and logic programming. |
Vickers, Steven
Imperial College, London - Interested in Geometric logic, topos theory, quantales and semantics of programming languages. |
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. |
Welch, Philip
University of Bristol - set theory, inner models, descriptive set theory. |
White, Graham
Queen Mary and Westfield College, London - Philosophy and linear logic. |
Wilkie, Alex
Oxford University - Models of arithmetic. |
Wilmers, George
University of Manchester - Applications of mathematical logic in the foundations of uncertain reasoning; Natural prior probability distributions in uncertain reasoning. |
Zach, Richard
University of Calgary - philosophy of mathematics, history and philosophy of logic, theory of proofs, and non-classical logics. |
Ziegler, Martin
University of Freiburg - model theory. |
Zilber, Boris
University of Oxford - model theory. |
