Follow @dmoz
about dmoz

dmoz blog

suggest URL

update listing

become an editor

report abuse/spam

help
the entire directory
only in Logic_and_Foundations/People
Description
Top
:
Science
:
Math
:
Logic and Foundations
:
People
(90)
Students and Independent Scholars
(1)
See also:
Science: Math: Logic and Foundations: History: People
(66)
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, 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.
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 nonclassical logics, manyvalued logics, paraconsistent logics, finite and infinite combinatorics.
Cummings, James
 Carnegie Mellon University  Set theory.
Darnière, Luck
 University of Angers, France  Model theory.
Ebbinghaus, HeinzDieter
 University of Freiburg  Finite model theory.
Enderton, Herbert B.
 UCLA  Late Professor Emeritus, studying 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  Resolutionbased and tableauxbased decision procedures for decidable fragments of firstorder 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.
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  Knowledgebased systems.
Larson, Jean A.
 University of Florida  Set theory, combinatorics.
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.
Makowsky, Johann (Janos) A.
 Technion, Israel  Logic in computer science, finite model theory.
Marcos, João
 Rio Grande do Norte Federal University, Brazil  Philosophical logic, paraconsistent, manyvalued and modal logics.
Marker, David
 University of Illinois, Chicago  Model theory.
Matiyasevich, Yuri
 Steklov Institute, St. Petersburg  Algorithmical number theory.
Miller, Dale
 INRIA Saclay  ÎledeFrance  Linear logic, proof search, automated reasoning, and declarative programming languages.
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), MartinLö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.
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.
Van Benthem, Johan
 University of Amsterdam and Stanford University  Modal logic and a wide range of other areas in logic.
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
 Ruhr University Bochum  Philosophical logic, modal logic, nonclassical logic and epistemology
Welch, Philip
 University of Bristol  Set theory, inner models, descriptive set theory.
Zach, Richard
 University of Calgary  Nonclassical 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.
"
People
" search on:
AOL

Ask

Bing

DuckDuckGo

Gigablast

Google

ixquick

Yahoo

Yandex

Yippy
Volunteer
to edit this category.
Copyright © 19982015 AOL Inc.
Terms of Use
Visit our sister sites
mozilla.org

MusicMoz

Wikipedia
Last update: August 5, 2015 at 9:35:07 UTC 
edit