Websites of active academic logicians.
More information
More information
Subcategories 1
Related categories 1
Sites 58
University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.
Carnegie Mellon University - Type theory, automated theorem proving.
Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.
Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
University of Illinois, Chicago - Model theory (finite and infinite).
Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.
University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.
University of Notre Dame - Model theory.
University of Waterloo - Universal algebra, logic, computers.
University of California, San Diego - Proof theory, computational complexity.
Carnegie Mellon University - Set theory.
University of Angers, France - Model theory.
University of Freiburg - Finite model theory.
Stanford University - Proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic.
University of Freiburg - Finite model theory.
University of Cambridge - Set theory, type theory.
University of Vienna - Set theory.
Carnegie Mellon University - Model theory.
Technische Universitaet Dresden - Proof Theory.
University of Freiburg - Model theory.
University of Liverpool - Resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic.
University of Cambridge - Categorical logic, game semantics and logic in computer science.
Villanova University - computability logic, game semantics, provability logic.
University of Houston - Mathematical logic, universal algebra, lattice theory and logic programming.
Boston University - Set theory.
Caltech - Foundations of mathematics, mathematical logic and set theory, interactions with analysis.
University of Wisconsin, Madison - Set theory.
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.
University of Florida - Set theory, combinatorics.
Indiana University - Computational complexity.
University of Wisconsin, Madison - Computability, recursion theory.
University of Toronto - Knowledge representation.
University of London, UK - Type theory, theoretical computer science and semantics of natural languages.
Technion, Israel - Logic in computer science, finite model theory.
Rio Grande do Norte Federal University, Brazil - Philosophical logic, paraconsistent, many-valued and modal logics.
University of Illinois, Chicago - Model theory.
Steklov Institute, St. Petersburg - Algorithmical number theory.
INRIA Saclay - Île-de-France - Linear logic, proof search, automated reasoning, and declarative programming languages.
UCLA - Set theory, recursion theory.
Princeton University - Bounded arithmetic, automated proof verification (QED).
Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.
Brooklyn College - Reasoning about knowledge, belief revision, game theory, philosophy of language.
Carnegie Mellon University - Logic and programming languages, logical frameworks, type theory.
University of Cambridge - Categorical logic, type theory, semantics of programming languages and logic in computer science.
San Jose State University - Logic, bounded arithmetic, computational complexity and quantum computation.
Queen Mary and Westfield College - Categorical logic and the semantics of programming languages and type theories.
University of Pennsylvania - Logic in computer science, linear logic.
University of Manchester - Modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation.
Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation.
University of California, Berkeley - Recursion theory.
University of California, Berkeley - Proof theory.
University of Amsterdam and Stanford University - Modal logic and a wide range of other areas in logic.
University of Birmingham, UK - Geometric logic, topos theory, quantales and semantics of programming languages.
Ruhr University Bochum - Philosophical logic, modal logic, non-classical logic and epistemology
University of Bristol - Set theory, inner models, descriptive set theory.
University of Calgary - Non-classical logics, proof theory, philosophy of mathematics, history and philosophy of logic.
University of Freiburg - Model theory.
University of Oxford - Model theory.
University of Calgary - Non-classical logics, proof theory, philosophy of mathematics, history and philosophy of logic.
Caltech - Foundations of mathematics, mathematical logic and set theory, interactions with analysis.
Ruhr University Bochum - Philosophical logic, modal logic, non-classical logic and epistemology
Rio Grande do Norte Federal University, Brazil - Philosophical logic, paraconsistent, many-valued and modal logics.
Queen Mary and Westfield College - Categorical logic and the semantics of programming languages and type theories.
University of Freiburg - Finite model theory.
San Jose State University - Logic, bounded arithmetic, computational complexity and quantum computation.
University of Oxford - Model theory.
Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.
INRIA Saclay - Île-de-France - Linear logic, proof search, automated reasoning, and declarative programming languages.
University of Freiburg - Model theory.
Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation.
University of Cambridge - Set theory, type theory.
University of Manchester - Modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation.
University of Birmingham, UK - Geometric logic, topos theory, quantales and semantics of programming languages.
University of Freiburg - Model theory.
University of Toronto - Knowledge representation.
University of Wisconsin, Madison - Set theory.
University of Bristol - Set theory, inner models, descriptive set theory.
University of Houston - Mathematical logic, universal algebra, lattice theory and logic programming.
Boston University - Set theory.
University of California, Berkeley - Recursion theory.
Carnegie Mellon University - Model theory.
Steklov Institute, St. Petersburg - Algorithmical number theory.
University of California, San Diego - Proof theory, computational complexity.
Technion, Israel - Logic in computer science, finite model theory.
Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.
University of Notre Dame - Model theory.
Carnegie Mellon University - Type theory, automated theorem proving.
Princeton University - Bounded arithmetic, automated proof verification (QED).
Carnegie Mellon University - Set theory.
University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.
Carnegie Mellon University - Logic and programming languages, logical frameworks, type theory.
University of Illinois, Chicago - Model theory (finite and infinite).
University of Freiburg - Finite model theory.
University of California, Berkeley - Proof theory.
Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
University of Cambridge - Categorical logic, type theory, semantics of programming languages and logic in computer science.
University of Liverpool - Resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic.
University of Angers, France - Model theory.
UCLA - Set theory, recursion theory.
Technische Universitaet Dresden - Proof Theory.
University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.
University of Illinois, Chicago - Model theory.
University of Florida - Set theory, combinatorics.
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.
University of Wisconsin, Madison - Computability, recursion theory.
University of Waterloo - Universal algebra, logic, computers.
Indiana University - Computational complexity.
University of Cambridge - Categorical logic, game semantics and logic in computer science.
Stanford University - Proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic.
University of Vienna - Set theory.
Brooklyn College - Reasoning about knowledge, belief revision, game theory, philosophy of language.
Villanova University - computability logic, game semantics, provability logic.
University of London, UK - Type theory, theoretical computer science and semantics of natural languages.
University of Amsterdam and Stanford University - Modal logic and a wide range of other areas in logic.
University of Pennsylvania - Logic in computer science, linear logic.
Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.
Last update:
October 18, 2023 at 6:35:12 UTC
Check out
Regional: Europe: United Kingdom: England: Cornwall: Falmouth: Business and Economy: Restaurants and Bars
- Recently edited by merlin1
- Recently edited by merlin1