 |
/ Home
/ Web Directory / Science / Math / Logic and Foundations / People (139)
Sub-Categories in People
Web Sites in Category People
Displaying: 1 – 50 (136 total) Next Page >>
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.
Artemov, Sergei - City University of New York Graduate Center - Proof theory, logic of proofs.
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.
Baldwin, John T. - University of Illinois, Chicago - Model theory (finite and infinite).
Barendregt, Henk - University of Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.
Bartoszynski, Tomek - Boise State University - Set theory.
Beklemishev, Lev - Utrecht University and Steklov Mathematical Institute of Moscow - Proof theory, modal logics.
Blass, Andreas R. - University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.
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. - University of California, San Diego - Proof theory, computational complexity.
Carlstrom, Jesper - Stockholm University - Constructive type theory and related mathematics.
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, France - Model theory.
Detlefsen, Michael - University of Notre Dame - Formal logic, philosophy of mathematics.
Dosen, Kosta - University of Belgrade - Proof theory, category theory.
Ebbinghaus, Heinz-Dieter - University of Freiburg - Finite model theory.
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.
Fitting, Melvin - City University of New York - Logic in computer science, mathematics, philosophy.
Flum, Jörg - University of Freiburg - Finite model theory.
Font, Josep Maria - University of Barcelona - Algebraic logic.
Foreman, Matthew - UC Irvine - Set theory.
Forster, T. E. - University of Cambridge - Set theory, type theory.
Friedman, Harvey - Ohio State University - Model theory, proof theory, intuitionism, recursion theory, set theory, complexity theory.
Friedman, Sy D. - University of Vienna and MIT - Set theory.
Gehrke, Mai - New Mexico State University - Nonstandard mathematics, operators on boolean algebras, fuzzy mathematics, universal algebra, general topology, posets and lattices.
Gerla, Giangiacomo - University of Salerno, Italy - Fuzzy logic, percentage logic, pointless geometry.
Goldstern, Martin - University of Technology, Vienna - Set theory.
Grossberg, Rami - Carnegie Mellon University - Model theory.
Guglielmi, Alessio - Technische Universitaet Dresden - Proof 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 - Categorical logic, game semantics and logic in computer science.
Hähnle, Reiner - Chalmers University of Technology, Sweden - Tableau-based automated theorem proving, many-valued logic, formal verification.
Insall, Matt - University of Missouri, Rolla - Pure and applied logic, foundations, harmonic analysis, algebra, metric spaces.
Displaying: 1 – 50 (136 total) Next Page >>
|
|
|
|
