Top » Science » Math » Logic_and_Foundations » People

Deprecated: Function eregi_replace() is deprecated in /home/chroot/home/sports/htdocs/index.php on line 128

Deprecated: Function ereg_replace() is deprecated in /home/chroot/home/sports/htdocs/index.php on line 129

Websites of active academic logicians.

People	Students and Independent Scholars

• 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.
• Artemov, Sergei City University of New York Graduate Center, USA.
• 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.
• Bartoszynski, Tomek Boise State University - Set theory.
• Beklemishev, Lev Utrecht University, Netherlands and Steklov Mathematical Institute, Russia.
• Beklemishev, Lev Utrecht University and Steklov Mathematical Institute of Moscow - Proof theory, modal logics.
• Beklemishev, Lev Utrecht University, the Netherlands and Steklov Mathematical Institute, Russia.
• Blass, Andreas University of Michigan.
• Blass, Andreas University of Michigan, USA.
• 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 University of California, San Diego, USA.
• 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, Greg IBM Research.
• 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.
• Cummings, James Carnegie Mellon University.
• Danos, Vincent University of Paris 7 - Proof theory, linear logic.
• Danos, Vincent University of Paris, France.
• Darnière, Luck University of Angers, France - Model theory.
• Detlefsen, Michael University of Notre Dame - Formal logic, philosophy of mathematics.
• Dosen, Kosta University of Belgrade - Proof theory, category theory.
• Dosen, Kosta University of Belgrade, Yugoslavia.
• Dosen, Kosta University of Belgrade, Yugoslavia.
• Ebbinghaus, Heinz-Dieter University of Freiburg - Finite model theory.
• Enderton, Herbert B. UCLA - Recursion theory, definability theory.
• Enderton, Herbert B. UCLA.
• 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.
• Font, Josep Maria University of Barcelona - Algebraic logic.
• Foreman, Matthew UC Irvine - Set theory.
• Foreman, Matthew University of California, Irvine.
• Forster, T. E. University of Cambridge - Set theory, type theory.
• Forster, T.E. University of Cambridge.
• Friedman, Harvey Ohio State University - Model theory, proof theory, intuitionism, recursion theory, set theory, complexity theory.
• Friedman, Sy D. University of Vienna and MIT - 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.
• Giorgi Japaridze Associate Professor in Department of Computing Sciences, Villanova University, Pennsylvania.
• Goldstern, Martin University of Technology, Vienna - Set theory.
• Goldstern, Martin Technical University of Vienna.
• Grossberg, Rami Carnegie Mellon University - Model theory.
• Guglielmi, Alessio Technical University of Dresden, Germany.
• 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.
• Hyland, J.M.E. Kings College, UK.
• Insall, Matt University of Missouri, Rolla - Pure and applied logic, foundations, harmonic analysis, algebra, metric spaces.
• Japaridze, Giorgi Villanova University, USA.
• Japaridze, Giorgi Villanova University - computability logic, game semantics, provability logic.
• Japaridze, Giorgi Villanova University, USA.
• Japaridze, Giorgi Villanova University, USA.
• Japaridze, Giorgi Villanova University, USA.
• 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.
• Larson, Jean A. University of Essen.
• Lascar, Daniel CNRS / University of Paris 7 - Model theory.
• Leivant, Daniel Indiana University - Computational complexity.
• Leivant, Daniel Indiana University.
• 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 Durham University, UK - Type theory, theoretical computer science and semantics of natural languages.
• Luo, Zhaohui Durham University, UK - semantics of programming languages, type theory, theoretical computer science and semantics of natural languages. Formulated the Extended Calculus of Constructions.
• Maddy, Penelope University of California Irvine - Philosophy of logic and mathematics.
• Makowsky, Johann The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity.
• 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.
• Mayberry, John University of Bristol. Foundations of mathematics. Publications, teaching material.
• 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.
• Miller, Dale École polytechnique, France.
• 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.
• 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.
• 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.
• Ong, Luke Oxford University, UK.
• Ong, Luke Oxford University Computing Laboratory, UK.
• 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.
• Parikh, Rohit Brooklyn College, USA and City University of New York, USA.
• Paris, Jeff University of Manchester - Mathematical Logic, in particular uncertain reasoning.
• Paul Taylor's Home Page Includes papers on category theory.
• 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, UK.
• 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.
• Pollett, Chris San Jose State University.
• 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.
• Razborov, Alexander Moscow Steklov Mathematical Institute - Boolean circuits.
• 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 Weinstein University of Pennsylvania - Finite model theory, learning theory.
• 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.
• Stewart, Charles Technische Universität Berlin, Theory and Formal Specifications group - Proof theoretic semantics, lambda calculus, linear logic, theoretical computer science, philosophy of language.
• Stewart, Charles Boston University - Programming language theory, optimal reductions, graph reduction, linear logic, semantics of logic, formulae-as-types correspondence, continuation semantics.
• Taylor, Paul Queen Mary and Westfield College, London - Foundations of Mathematics and Computation.
• Van Benthem, Johan University of Amsterdam and Stanford University - Modal logic and a wide range of other areas in logic.
• Van Benthem, Johan University of Amsterdam, the Netherlands and Stanford University, USA.
• Van Benthem, Johan University of Amsterdam, the Netherlands and Stanford University, USA.
• Van Dalen, Dirk Utrecht University - Historical aspects of logic, philosophy of mathematics.
• 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.
• 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.
• 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.
• Zach, Richard University of Calgary - Philosophy of mathematics, history and philosophy of logic.
• Ziegler, Martin University of Freiburg - Model theory.
• Zilber, Boris University of Oxford - Model theory.

 

 

Copyright ©2000-2012 SPORT FR (754.90ms)

Apportez votre contribution à l'annuaire le plus complet du Web (avec évaluateurs « humains » !). Proposer un site - Open Directory Project - Devenir évaluateur de site