Aczel, Peter
University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.
Avigad, Jeremy
Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.
Awodey, Steve
Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
Barendregt, Henk
Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.
Buss, Samuel R.
University of California, San Diego - Proof theory, computational complexity.
Feferman, Solomon
Stanford University - Proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic.
Hähnle, Reiner
Chalmers University of Technology, Sweden - Tableau-based automated theorem proving, many-valued logic, formal verification.
Hjorth, Greg
UCLA - Descriptive set theory, countable models, definable equivalence relations.
Hustadt, Ullrich
University of Liverpool - Resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic.
Showing 1–20 of 62 results