Open Directory - Science: Math: Logic and Foundations: People
See also:
  • 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.
  • Carnielli, Walter A. - State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics, paraconsistent logics, finite and infinite combinatorics.
  • Chatzidakis, Zoé - CNRS/University of Paris 7 - Model 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.
  • Ebbinghaus, Heinz-Dieter - University of Freiburg - Finite model theory.
  • Enderton, Herbert B. - UCLA - Recursion theory, definability theory.
  • 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.
  • Friedman, Sy D. - University of Vienna - Set theory.
  • 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.
  • Herwig, Bernhard - University of Freiburg - Model 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • Pollett, Chris - San Jose State University - Logic, bounded arithmetic, computational complexity and quantum computation.
  • Prest, Mike - University of Manchester - Algebra and model theory.
  • 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 - Foundations 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.
  • 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.
  • 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.
Volunteer to edit this category.
Copyright © 2012 Netscape Terms of Use
Visit our sister sites  mozilla.org | MusicMoz | Wikipedia

Last update: Thursday, May 26, 2011 10:18:40 PM EDT - edit
п»ї© 2004-2011 RF1 Systems
counter