Top » Science » Math » Logic_and_Foundations » People »
Voir Aussi:
 | » 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 - Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.. |
 | » 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.. |
 | » 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.. |
 | » Danos, Vincent - University of Paris 7 - Proof theory, linear logic.. |
 | » Dosen, Kosta - University of Belgrade - Proof theory, category 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.. |
 | » Forster, T. E. - University of Cambridge - Set theory, type 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.. |
 | » Hähnle, Reiner - Chalmers University of Technology, Sweden - Tableau-based automated theorem proving, many-valued logic, formal verification.. |
 | » 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.. |
 | » 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.. |
 | » Japaridze, Giorgi - Villanova University - computability logic, game semantics, provability logic.. |
 | » Jech, Thomas - Pennsylvania State University - Set theory.. |
 | » Kaiser, Klaus - University of Houston - Mathematical logic, universal algebra, lattice theory and logic programming.. |
 | » Kechris, Alexander S. - Caltech - Foundations of mathematics, mathematical logic and set theory, interactions with analysis.. |
 | » 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.. |
 | » Lempp, Steffen - University of Wisconsin, Madison - Computability, recursion theory.. |
 | » Lindell, Steven - Haverford College - Finite model theory, descriptive complexity.. |
 | » Luo, Zhaohui - University of London, UK - Type theory, theoretical computer science and semantics of natural languages.. |
 | » Maddy, Penelope - University of California Irvine - Philosophy of logic and mathematics.. |
 | » Marcos, João - State University of Campinas, Brazil - Philosophical logic, paraconsistent, many-valued and modal logics.. |
 | » Marker, David - University of Illinois, Chicago - Model theory.. |
 | » McKenzie, Ralph - Vanderbildt University and UC Berkeley - Algebra, logic, combinatorics.. |
 | » Miller, Dale - INRIA Saclay - Île-de-France - Linear logic, proof search, automated reasoning, and declarative programming languages.. |
 | » Moreno, Javier - University of Illinois, Urbana-Champaign - Model theory and applications.. |
 | » Nelson, Edward - Princeton University - Bounded arithmetic, automated proof verification (QED).. |
 | » Nerode, Anil - Cornell University - Computability theory, logic in computer science, history of logic.. |
 | » Ong, C.-H. Luke - Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.. |
 | » Ono, Hiroakira - Japan Advanced Institute of Science and Technology - Nonclassical logic, substructural logics, logic of knowledge and belief, cumulative reasoning.. |
 | » Parikh, Rohit - Brooklyn College - Reasoning about knowledge, belief revision, game theory, philosophy of language.. |
 | » 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 - Categorical logic, type theory, semantics of programming languages and logic in computer science.. |
 | » Plotkin, Gordon - 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.. |
 | » Pollett, Chris - San Jose State University - Logic, bounded arithemtic, computational complexity and quantum computation.. |
 | » Prest, Mike - University of Manchester - Algebra and model theory.. |
 | » Pym, David J. - University of Bath, UK - 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.. |
 | » Regnier, Laurent - University of Marseilles - Linear logic, lambda calculus and abstract machine interpretations.. |
 | » Robinson, Edmund - Queen Mary and Westfield College - Categorical logic and the semantics of programming languages and type theories.. |
 | » 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 mathematics, symbolic mathematical computation.. |
 | » Setzer, Anton - Uppsala University - proof theory (ordinal analysis), Martin-Löf type theory.. |
 | » Sieg, Wilfried - Carnegie Mellon University - Proof theory, philosophy of mathematics, history of 19th and 20th century logic and mathematics.. |
 | » Simpson, George - Penn State University - Fuondations of mathematics and logic.. |
 | » Statman, Richard - Carnegie Mellon University - Theory of computation, lambda calculus, combinatory logic.. |
 | » Taylor, Paul - Foundations of mathematics and computation, category theory, abstract stone duality.. |
 | » Van Benthem, Johan - University of Amsterdam and Stanford University - Modal logic and a wide range of other areas in logic.. |
 | » Van Dalen, Dirk - Utrecht University - Historical aspects of logic, philosophy of mathematics.. |
 | » Vickers, Steven - University of Birmingham, UK - Geometric logic, topos theory, quantales and semantics of programming languages.. |
 | » Vlad, Serban E. - Independent scholar, Bucharest - Asynchronous automata and binary valued mathematical analysis.. |
 | » 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.. |
 | » Wehmeier, Kai - UC Irvine - semantics and proof theory of intuitionistic arithmetic, logical analysis of modal discourse, the logic of Gottlob Frege.. |
 | » Welch, Philip - University of Bristol - Set theory, inner models, descriptive set theory.. |
 | » White, Graham - Queen Mary and Westfield College, London - Philosophy and linear logic.. |
 | » Zach, Richard - University of Calgary - Non-classical logics, proof theory, philosophy of mathematics, history and philosophy of logic.. |
|
|
