Home    Contact Us    Disclaimer     Privacy

Science: Math: Mathematicians

Sites

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).

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.

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.

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

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.

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
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.

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.