Subdirectories of People:
Categories related to Science: Math: Logic and Foundations: People: Science: Math: Logic and Foundations: History: People (81) Websites on People: 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. 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. 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. Foreman, Matthew UC Irvine - Set theory. Forster, T. E. University of Cambridge - Set theory, type theory. Friedman, Sy D. University of Vienna - 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. 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. Japaridze, Giorgi Villanova University - computability logic, game semantics, provability logic. 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. Lakemeyer, Gerhard Aachen University of Technology - Knowledge-based systems. Larson, Jean A. University of Florida - Set theory, combinatorics. Lascar, Daniel CNRS / University of Paris 7 - Model theory. Leivant, Daniel Indiana University - Computational complexity. Lempp, Steffen University of Wisconsin, Madison - Computability, recursion theory. Lessmann, Olivier University of Illinois, Chicago - Model theory. Levesque, Hector University of Toronto - Knowledge representation. 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. Makowsky, Johann (Janos) A. Technion, Israel - Logic in computer science, finite model theory. Marcos, João State University of Campinas, Brazil - Philosophical logic, paraconsistent, many-valued and modal 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. Miller, Dale INRIA Saclay - Île-de-France - Linear logic, proof search, automated reasoning, and declarative programming languages. Mitchell, William University of Florida - Set theory. Moreno, Javier University of Illinois, Urbana-Champaign - Model theory and applications. Moschovakis, Yiannis N. UCLA - Set theory, recursion theory. Moss, Lawrence Indiana University - Applied logic. 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. Rathjen, Michael University of Leeds - Proof theory. 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. 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. Shore, Richard A. Cornell University - Recursion 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. 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 - Proof theory. 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. Vereshchagin, Nikolai Moscow State University - Theory of computation, Intuitionistic logic 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. Wilkie, Alex Oxford University - Models of arithmetic. 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.
|
|