Logicians

Logicians

Logicians Related Topics

• Top: Science: Math: Mathematicians

Logicians Links

• 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.
  
• Robinson, Edmund Queen Mary and Westfield College - categorical logic and the semantics of programming languages and type theories.
  
• Makowsky, Johann (Janos) A. Technion - logic in computer science, finite model theory.
  
• Shelah, Saharon Rutgers University and Hebrew University - includes paper archive.
  
• Prest, Mike University of Manchester - Algebra and Model Theory.
  
• Etchemendy, John Stanford University - philosophical logic, semantics, and philosophy of language.
  
• Luo, Zhaohui Durham University, UK - type theory, theoretical computer science and semantics of natural languages. Formulated the Extended Calculus of Constructions.
  
• Solovay, Robert M. UC Berkeley.
  
• Statman, Richard Carnegie Mellon University - theory of computation, lambda calculus, combinatory logic.
  
• Awodey, Steve Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
  
• Regnier, Laurent University of Marseilles - Interested in linear logic, lambda calculus and abstract machine interpretations. Pioneer of the geometry of interaction approach to the semantics of linear logic.
  
• Rubin, Jean E. Purdue University - set theory, axiom of choice.
  
• Lessmann, Olivier University of Illinois, Chicago - model theory.
  
• Taylor, Paul Queen Mary and Westfield College, London - Foundations of Mathematics and Computation.
  
• Knight, Julia F. University of Notre Dame - recursion theory.
  
• Chatzidakis, Zoé CNRS / University of Paris 7 - model theory.
  
• Hodges, Wilfrid University of London - model theory.
  
• Bouscaren, Elisabeth CNRS / University of Paris 7 - model theory and algebraic geometry.
  
• Peckhaus, Volker University of Erlangen-Nürnberg - history of logic.
  
• Welch, Philip University of Bristol - set theory, inner models, descriptive set theory.
  
• Kaye, Richard University of Birmingham - model theory.
  
• Rathjen, Michael University of Leeds - proof theory.
  
• White, Graham Queen Mary and Westfield College, London - Philosophy and linear logic.
  
• Bartoszynski, Tomek Boise State University - set theory.
  
• Ebbinghaus, Heinz-Dieter University of Freiburg - finite model theory.
  
• Darnière, Luck University of Angers - model theory.
  
• Cummings, James Carnegie Mellon University - set theory.
  
• Scedrov, Andre University of Pennsylvania - logic in computer science, linear logic.
  
• Marker, David University of Illinois, Chicago - model theory.
  
• Setzer, Anton Uppsala University - proof theory (ordinal analysis), Martin-Löf type theory.
  
• Ong, C.-H. Luke Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.
  
• McKenzie, Ralph Vanderbildt University and UC Berkeley - algebra, logic, combinatorics.
  
• Pratt, Vaughan Stanford University - Interested in linear logic, Chu spaces, foundations of mathematics, theoretical computer science and wearable computing.
  
• Nerode, Anil Cornell University - computability theory, logic in computer science, history of logic.
  
• Pedicini, Marco Institute for Applied Calculus, Rome - Theoretical computer science, linear logic, geometry of interaction, optimal reductions.
  
• Friedman, Sy D. MIT and University of Vienna - set theory.
  
• Hähnle, Reiner University of Karlsruhe - tableau-based automated theorem proving, many-valued logic.
  
• Buss, Samuel R. UC San Diego - proof theory, computational complexity.
  
• Avigad, Jeremy Carnegie Mellon University - proof theory, constructive mathematics, proof complexity, and the history and philosophy of mathematics.
  
• Jech, Thomas Pennsylvania State University - set theory.
  
• Baldwin, John T. University of Illinois, Chicago - model theory (finite and infinite).
  
• Nelson, Edward Princeton University - bounded arithmetic, automated proof verification (QED).
  
• Jockusch, Carl G. University of Illinois, Urbana Champaign - recursion theory.
  
• Goldstern, Martin University of Technology, Vienna - set theory.
  
• Bolotov, Alexander Manchester Metropolitan University - extension of the clausal temporal resolution method to branching-time temporal logics.
  
• Junker, Markus University of Freiburg - model theory.
  
• Thiel, Christian University of Erlangen-Nürnberg - history of logic.
  
• Schmidt, Renate University of Manchester - modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation.
  
• Carnielli, Walter A. State University of Campinas, Brazil - foundations of non-classical logics, many-valued logics, paraconsistent logics, finite and infinite combinatorics.
  
• Hustadt, Ullrich University of Liverpool - resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic.
  
• Shramko, Yaroslav State Pedagogical University, Kryvyi Rih, Ukraine - Intuitionistic and relevant logics.
  
• Moschovakis, Yiannis N. UCLA.
  
• Hindley, J. R. University of Wales Swansea - lambda-calculus, combinatory logic and type-theory.
  
• Wilkie, Alex Oxford University - Models of arithmetic.
  
• Grossberg, Rami Carnegie Mellon University - model theory.
  
• Shore, Richard A. Cornell University - recursion theory.
  
• Quigley, Peter Manchester Metropolitan University - Computational Logic, Formal Methods, Formal Specification, Automated Reasoning and Proof Planning.
  
• Bellin, Gianluigi University of Leeds - Interested in proof theory, the formulae-as-types correspondence and semantics of programming languages.
  
• Stewart, Charles Boston University - Proof theoretic semantics, lambda calculus, linear logic, theoretical computer science, philosophy of language.
  
• Odifreddi, Piergiorgio University of Torino - recursion theory, intuitionistic logic, philosophy of mathematics.
  
• Miller, Dale Penn State University - Interested in linear logic, proof search and declarative programming languages.
  
• Barendregt, Henk University of Nijmegen - Interested in lambda calculus, type theory and formalising mathematical vernacular. Author of `The Lambda Calculus' (1980), still the definitive guide to the theory of the untyped lambda calculus.
  
• Soare, Robert I. University of Chicago - recursion theory.
  
• Kechris, Alexander S. Caltech - foundations of mathematics, mathematical logic and set theory, interactions with analysis.
  
• Foreman, Matthew UC Irvine.
  
• Andrews, Peter B. Carnegie Mellon University - type theory, automated theorem proving.
  
• Restall, Greg Macquarie University - Philosophy of logic, substructural logics.
  
• Feferman, Solomon Stanford University - proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic.
  
• Danos, Vincent University of Paris 7 - proof theory, linear logic.
  
• Blass, Andreas R. University of Michigan, Ann Arbor - set theory, finite combinatorics, theoretical computer science.
  
• Monk, Donald University of Colorado, Boulder - Boolean algebras.
  
• Flum, Jörg University of Freiburg - finite model theory.
  
• Font, Josep Maria University of Barcelona - Algebraic logic.
  
• 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.
  
• Sipser, Michael MIT - complexity theory.
  
• Holmes, Randall Boise State University - set theory: New Foundations, automated theorem proving.
  
• Dunn, J. Michael Indiana University - algebra of logic, constructive and substructural logic, philosophical logic.
  
• Herwig, Bernhard University of Freiburg - model theory.
  
• Cholak, Peter University of Notre Dame - recursion theory.
  
• Gehrke, Mai New Mexico State University - nonstandard mathematics, operators on boolean algebras, fuzzy mathematics, universal algebra, general topology, posets and lattices.
  
• Lempp, Steffen University of Wisconsin, Madison - computability, recursion theory.
  
• Ziegler, Martin University of Freiburg - model theory.
  
• Larson, Jean A. University of Florida - set theory, combinatorics.
  
• Gardener, Tim Oxford University - Model theory of the p-adics, group theory, algebraic geometry.
  
• Lascar, Daniel CNRS / University of Paris 7 - model theory.
  
• Pym, David J. Queen Mary and Westfield College - semantics of programming languages, type theory, proof-search, logic programming, theorem proving.
  
• Kunen, Kenneth University of Wisconsin, Madison - set theory.
  
• Dixon, Clare Manchester Metropolitan University - Resolution theorem proving, modal and temporal logics, automated reasoning, specification and verification of distributed and multi-agent systems.
  
• Burris, Stanley University of Waterloo - universal algebra, logic, computers.
  
• Wilmers, George University of Manchester - Applications of mathematical logic in the foundations of uncertain reasoning; Natural prior probability distributions in uncertain reasoning.
  
• Slaman, Theodore A. UC Berkeley - recursion theory
  
• Aczel, Peter University of Manchester - Philosophy and Foundations of Mathematics and Computing, Mathematical Logic, Categorical Logic.
  
• Kaiser, Klaus University of Houston - mathematical logic, universal algebra, lattice theory and logic programming.
  
• Edmundo, Mario Oxford University - Cohomology, K-theory and sheaves.
  
• Ghidini, Chiara Manchester Metropolitan University - logics for federated databases and information integration, multi-agent systems, context-based reasoning, and belief contexts.
  
• Forster, T. E. University of Cambridge - set theory, type theory.
  
• Scott, Dana Carnegie Mellon University - model theory, set Theory, foundations of logic and mahematics, symbolic mathematical computation.
  
• Enderton, Herbert B. UCLA - recursion theory, definability theory.
  
• Matiyasevich, Yuri Steklov Institute, St. Petersburg - algorithmical number theory.
  
• Buechler, Steven University of Notre Dame - model theory.
  
• Paris, Jeff University of Manchester - Mathematical Logic, in particular uncertain reasoning.
  
• Pitts, Andrew University of Cambridge - Interested in categorical logic, type theory, seamntics of programming languages and logic in computer science.
  
• Fitting, Melvin City University of New York - logic in computer science, mathematics, and philosophy.
  
• Sieg, Wilfried Carnegie Mellon University - proof theory, philosophy of mathematics, history of 19th and 20th century logic and mathematics.
  
• Howard, Paul Eastern Michigan University - axiom of choice.
  
• 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.
  
• Restall, Greg Greg Restall's CV: downloadable publications on Philosophical Logic, Metaphysics, Philosophy of Language, Philosophy of Religion and related areas.
  
• Hyland, J. Martin E. University of Cambridge - Interested in categorical logic, game semantics and logic in computer science.
  
• Nies, Andre University of Chicago - recursion theory.
  
• Portier, Natacha ENS Lyon.
  
• Friedman, Harvey Ohio State University.
  
• Mitchell, William University of Florida - set theory.
  
• Zilber, Boris University of Oxford - model theory.
  
• Kanamori, Akihiro Boston University - set theory.
  
• Zach, Richard UC Berkeley - philosophy of mathematics, history and philosophy of logic, theory of proofs, and non-classical logics.
  
• Pfenning, Frank Carnegie Mellon University - logic and programming languages, logical frameworks, type theory.
  
• Vickers, Steven Imperial College, London - Interested in Geometric logic, topos theory, quantales and semantics of programming languages.
  
• Chaitin, Gregory J. IBM Research - algorithmic information theory.
  
• Hjorth, Greg UCLA - descriptive set theory, countable models, definable equivalence relations.
  
• Berline, Chantal University of Paris 7 - lambda calculus.