DomainTools.com |
 |
||
|
|
||
People
Directory > Science > Math > Logic_and_Foundations > People
| Sort by |
| (Google PR) (Alphabetical) |
| Students_and_Independent_Scholars (2) |
| Related Categories: |
| Science > Math > Logic_and_Foundations > History > People (75) |
  Institute for Communicating and Collaborative Systems, UK - denotational and operational semantics of programming languages, type theory; domain-theoretic and categorical analyses of computation, proof theory, the semantics of natural language, process calculi, computational biology. |
University of Notre Dame - Recursion theory. |
Boston University - Set theory. |
Utrecht University and Steklov Mathematical Institute of Moscow - Proof theory, modal logics. |
University of Houston - Mathematical logic, universal algebra, lattice theory and logic programming. |
University of Notre Dame - Model theory. |
University of Notre Dame - Recursion theory. |
Oxford University - Models of arithmetic. |
University of Oxford - Model theory. |
Utrecht University - Historical aspects of logic, philosophy of mathematics. |
Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular. |
Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality. |
University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic. |
University of Manchester - Modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation. |
University of Manchester - Algebra and model theory. |
University of Cambridge - Categorical logic, type theory, semantics of programming languages and logic in computer science. |
University of Cambridge - Set theory, type theory. |
University of Cambridge - Categorical logic, game semantics and logic in computer science. |
MIT - Complexity theory. |
University of Bath, UK - Semantics of programming languages, type theory, proof-search, logic programming, theorem proving. |
University of Wales, Swansea - Lambda-calculus, combinatory logic and type-theory. |
University of Toronto - Knowledge representation. |
Indiana University - Computational complexity. |
Indiana University - Applied logic. |
University of Leeds - Proof theory. |
University of California, Berkeley - Recursion theory. |
University of California, Berkeley - Proof theory. |
Cornell University - Recursion theory. |
Cornell University - Computability theory, logic in computer science, history of logic. |
Stanford University - Philosophical logic, semantics, and philosophy of language. |
Stanford University - Proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic. |
UCLA - Set theory, recursion theory. |
UCLA - Recursion theory, definability theory. |
UCLA - Descriptive set theory, countable models, definable equivalence relations. |
University of Birmingham - Model theory. |
University of Birmingham, UK - Geometric logic, topos theory, quantales and semantics of programming languages. |
Vanderbildt University and UC Berkeley - Algebra, logic, combinatorics. |
Independent scholar, Bucharest - Asynchronous automata and binary valued mathematical analysis. |
Princeton University - Bounded arithmetic, automated proof verification (QED). |
Purdue University - Set theory, axiom of choice. |
University of Amsterdam and Stanford University - Modal logic and a wide range of other areas in logic. |
University of California Irvine - Philosophy of logic and mathematics. |
Steklov Institute, St. Petersburg - Algorithmical number theory. |
Caltech - Foundations of mathematics, mathematical logic and set theory, interactions with analysis. |
Manchester Metropolitan University - Computational logic, formal methods, formal specification, automated reasoning and proof planning. |
Queen Mary and Westfield College, London - Philosophy and linear logic. |
Queen Mary and Westfield College - Categorical logic and the semantics of programming languages and type theories. |
University of London - Model theory. |
University of Bristol - Set theory, inner models, descriptive set theory. |
City University of New York - Logic in computer science, mathematics, philosophy. |
City University of New York Graduate Center - Proof theory, logic of proofs. |
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. |
Institute for Applied Calculus, Rome - Theoretical computer science, linear logic, geometry of interaction, optimal reductions. |
University of Illinois, Chicago - Model theory. |
University of Illinois, Chicago - Model theory (finite and infinite). |
University of Illinois, Chicago - Model theory. |
University of Liverpool - Resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic. |
University of Salerno, Italy - Fuzzy logic, percentage logic, pointless geometry. |
University of Florida - Set theory, combinatorics. |
University of Florida - Set theory. |
Pennsylvania State University - Set theory. |
Penn State University - Foundations of mathematics and logic. |
Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation. |
Carnegie Mellon University - Model theory. |
Carnegie Mellon University - Type theory, automated theorem proving. |
Carnegie Mellon University - Logic and programming languages, logical frameworks, type theory. |
Carnegie Mellon University - Proof theory, philosophy of mathematics, history of 19th and 20th century logic and mathematics. |
Carnegie Mellon University - Set theory. |
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 Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science. |
University of California, San Diego - Proof theory, computational complexity. |
University of Pennsylvania - Logic in computer science, linear logic. |
Boise State University - Set theory: New Foundations, automated theorem proving. |
San Jose State University - Logic, bounded arithmetic, computational complexity and quantum computation. |
Haverford College - Finite model theory, descriptive complexity. |
University of Wisconsin, Madison - Computability, recursion theory. |
University of Wisconsin, Madison - Set theory. |
University of Illinois, Urbana Champaign - Recursion theory. |
University of Calgary - Non-classical logics, proof theory, philosophy of mathematics, history and philosophy of logic. |
University of Waterloo - Universal algebra, logic, computers. |
INRIA Saclay - Île-de-France - Linear logic, proof search, automated reasoning, and declarative programming languages. |
State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics, paraconsistent logics, finite and infinite combinatorics. |
University of Chicago - Recursion theory. |
Aachen University of Technology - Knowledge-based systems. |
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. |
CNRS / University of Paris 7 - Model theory. |
University of Paris 7 - Proof theory, linear logic. |
CNRS/University of Paris 7 - Model theory. |
CNRS / University of Paris 7 - Model theory and algebraic geometry. |
University of Freiburg - Model theory. |
University of Freiburg - Finite model theory. |
University of Freiburg - Model theory. |
University of Freiburg - Model theory. |
University of Freiburg - Finite model theory. |
Moscow State University - Theory of computation, Intuitionistic logic |
Stockholm University - Constructive type theory and related mathematics. |
Uppsala University - proof theory (ordinal analysis), Martin-Löf type theory. |
IBM Research - Algorithmic information theory. |
Chalmers University of Technology, Sweden - Tableau-based automated theorem proving, many-valued logic, formal verification. |
Foundations of mathematics and computation, category theory, abstract stone duality. |
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. |
Technion, Israel - Logic in computer science, finite model theory. |
University of Marseilles - Linear logic, lambda calculus and abstract machine interpretations. |
University of Vienna - Set theory. |
University of Michigan - Set theory. |
New Mexico State University - Nonstandard mathematics, operators on boolean algebras, fuzzy mathematics, universal algebra, general topology, posets and lattices. |
Japan Advanced Institute of Science and Technology - Nonclassical logic, substructural logics, logic of knowledge and belief, cumulative reasoning. |
Technische Universitaet Dresden - Proof Theory. |
University of Angers, France - Model theory. |
University of Technology, Vienna - Set theory. |
Eastern Michigan University - Axiom of choice. |
| Help build the largest human-edited directory on the web. |
| Submit a Site - Open Directory Project - Become an Editor |
Domain Tools analysis of DMOZ top listed domains
