- 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.
- Avigad, Jeremy - Carnegie Mellon University - proof theory, constructive mathematics, proof complexity, and 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.
- Bellin, Gianluigi - University of Leeds - Proof theory, the formulae-as-types correspondence and semantics of programming languages.
- Berline, Chantal - University of Paris 7 - Lambda calculus.
- Blass, Andreas R. - University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.
- Bolotov, Alexander - Manchester Metropolitan University - Extension of the clausal temporal resolution method to branching-time temporal logics.
- 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.
- Dixon, Clare - Manchester Metropolitan University - Resolution theorem proving, modal and temporal logics, automated reasoning, specification and verification of distributed and multi-agent systems.
- Ebbinghaus, Heinz-Dieter - University of Freiburg - Finite model theory.
- Edmundo, Mario - Oxford University - Cohomology, K-theory and sheaves.
- 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.
- Fisher, Michael - Manchester Metropolitan University - Distributed artificial intelligence and multi-agent systems, programming language design, formal specification and verification, parallel and agent-based theorem-proving, temporal and modal theorem-proving techniques.
- Fitting, Melvin - City University of New York - Logic in computer science, mathematics, and 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.
- Friedman, Sy D. - University of Vienna and MIT - Set theory.
- Gardener, Tim - Oxford University - Model theory of the p-adics, group theory, algebraic geometry.
- 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.
- Ghidini, Chiara - Manchester Metropolitan University - Logics for federated databases and information integration, multi-agent systems, context-based reasoning, and belief contexts.
- Goldstern, Martin - University of Technology, Vienna - Set theory.
- Grossberg, Rami - Carnegie Mellon University - Model theory.
- Hähnle, Reiner - Chalmers University of Technology, Sweden - Tableau-based automated theorem proving, many-valued logic, formal verification.
- 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.
- Jech, Thomas - Pennsylvania State University - Set theory.
- Jockusch, Carl G. - University of Illinois, Urbana Champaign - Recursion theory.
- Junker, Markus - University of Freiburg - Model theory.
- Kaiser, Klaus - University of Houston - Mathematical logic, universal algebra, lattice theory and logic programming.
- Kanamori, Akihiro - Boston University - Set theory.
- Kastermans, Bart - University of Michigan - Set theory.
- Kaye, Richard - University of Birmingham - Model theory.
- Kechris, Alexander S. - Caltech - Foundations of mathematics, mathematical logic and set theory, interactions with analysis.
- Knight, Julia F. - University of Notre Dame - Recursion theory.
- Kunen, Kenneth - University of Wisconsin, Madison - Set theory.
- 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.
- Larson, Jean A. - University of Florida - Set theory, combinatorics.
- Lascar, Daniel - CNRS / University of Paris 7 - Model theory.
- Lempp, Steffen - University of Wisconsin, Madison - Computability, recursion theory.
- Lessmann, Olivier - University of Illinois, Chicago - Model theory.
- Luo, Zhaohui - Durham University, UK - Type theory, theoretical computer science and semantics of natural languages.
- Makowsky, Johann (Janos) A. - Technion, Israel - Logic in computer science, finite model theory.
- Marcos, João - State University of Campinas, Brazil - Interested in both mathematical and philosophical logic, and especially non-classical logics such as paraconsistent, many-valued and modal logics, as well as formal semantics to them, and combinations of logics.
- Marker, David - University of Illinois, Chicago - Model theory.
- Matiyasevich, Yuri - Steklov Institute, St. Petersburg - Algorithmical number theory.
- McKenzie, Ralph - Vanderbildt University and UC Berkeley - Algebra, logic, combinatorics.
- Mileti, Joe - University of Illinois at Urbana-Champaign - Computability theory.
- Miller, Dale - Penn State University - Linear logic, proof search and declarative programming languages.
- Mitchell, William - University of Florida - Set theory.
- Monk, Donald - University of Colorado, Boulder - Boolean algebras.
- Moreno, Javier - University of Illinois, Urbana-Champaign - Model theory and applications.
- Moschovakis, Yiannis N. - UCLA - Set theory, recursion theory.
- Nelson, Edward - Princeton University - Bounded arithmetic, automated proof verification (QED).
- Nerode, Anil - Cornell University - Computability theory, logic in computer science, history of logic.
- Nies, Andre - University of Chicago - Recursion theory.
- Ong, C.-H. Luke - Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.
- Paris, Jeff - University of Manchester - Mathematical Logic, in particular uncertain reasoning.
- Peckhaus, Volker - University of Erlangen-Nürnberg - History of logic.
- 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.
- Pollett, Chris - San Jose State University - Logic, bounded arithemtic, computational complexity and quantum computation.
- Portier, Natacha - ENS Lyon.
- Pratt, Vaughan - Stanford University - Linear logic, Chu spaces, foundations of mathematics, theoretical computer science and wearable computing.
- Prest, Mike - University of Manchester - Algebra and model theory.
- Pym, David - University of Bath, England - Proof theory, logic and computation.
- Pym, David J. - Queen Mary and Westfield College - 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.
- Rathjen, Michael - University of Leeds - Proof theory.
- Regnier, Laurent - University of Marseilles - Linear logic, lambda calculus and abstract machine interpretations.
- Restall, Greg - Macquarie University - Philosophy of logic, substructural logics.
- Robinson, Edmund - Queen Mary and Westfield College - Categorical logic and the semantics of programming languages and type theories.
- Rubin, Jean E. - Purdue University - Set theory, axiom of choice.
- 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.
- Shelah, Saharon - Rutgers University and Hebrew University - includes paper archive.
- Shore, Richard A. - Cornell University - Recursion theory.
- Shramko, Yaroslav - State Pedagogical University, Kryvyi Rih, Ukraine - Intuitionistic and relevant logics.
- Sieg, Wilfried - Carnegie Mellon University - Proof theory, philosophy of mathematics, history of 19th and 20th century logic and mathematics.
- Simpson, George - Fuondations of Mathematics and Logic.
- Sipser, Michael - MIT - Complexity theory.
- Slaman, Theodore A. - University of California, Berkeley - Recursion theory.
- Soare, Robert I. - University of Chicago - Recursion theory.
- Solovay, Robert M. - University of California, Berkeley.
- Statman, Richard - Carnegie Mellon University - Theory of computation, lambda calculus, combinatory logic.
- Stewart, Charles - Technische Universität Berlin, Theory and Formal Specifications group - Proof theoretic semantics, lambda calculus, linear logic, theoretical computer science, philosophy of language.
- Taylor, Paul - Queen Mary and Westfield College, London - Foundations of Mathematics and Computation.
- Thiel, Christian - University of Erlangen-Nürnberg - History of logic.
- Vermeir, Timothy - University of Ghent, Belgium, Centre for Logic and Philosophy of Science - nonmonotonic, adaptive, nonclassical, paraconsistent logics and logic programming.
- Vickers, Steven - Imperial College, London - 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.
- Welch, Philip - University of Bristol - Set theory, inner models, descriptive set theory.
- White, Graham - Queen Mary and Westfield College, London - Philosophy and linear logic.
- Wilkie, Alex - Oxford University - Models of arithmetic.
- Wilmers, George - University of Manchester - Applications of mathematical logic in the foundations of uncertain reasoning; natural prior probability distributions in uncertain reasoning.
- Zach, Richard - University of Calgary - Non-classical logics, proof theory, philosophy of mathematics, history and philosophy of logic.
- Ziegler, Martin - University of Freiburg - Model theory.
- Zilber, Boris - University of Oxford - Model theory.
- Search our Wiki for Logic and Foundations People - Find more information about this subject by clicking here
|
www.manages.com - Open Directory