SD701 Open Directory

See also:

» Aczel, Peter - University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.

$http://gtps.math.cmu.edu/andrews.html$

» 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.

$http://www.math.uic.edu/~jbaldwin/$

» 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 and Steklov Mathematical Institute of Moscow - Proof theory, modal logics.

$http://www.math.lsa.umich.edu/~ablass/$

» Blass, Andreas R. - University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.

http://www.logique.jussieu.fr/www.elibou/

» 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.

$http://math.ucsd.edu/~sbuss/$

» Buss, Samuel R. - University of California, San Diego - Proof theory, computational complexity.

$http://www.math.su.se/~jesper/$

» 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.

http://www.cs.auckland.ac.nz/CDMTCS/chaitin/

» Chaitin, Gregory J. - IBM Research - Algorithmic information theory.

» Chatzidakis, Zoé - CNRS/University of Paris 7 - Model theory.

$http://www.math.nd.edu/faculty/cholak.shtml$

» Cholak, Peter - University of Notre Dame - Recursion theory.

$http://www.math.cmu.edu/users/jcumming/$

» Cummings, James - Carnegie Mellon University - Set theory.

http://www.logique.jussieu.fr/www.danos/

» Danos, Vincent - University of Paris 7 - Proof theory, linear logic.

$http://math.univ-angers.fr/~darniere/home_uk.html$

» Darnière, Luck - University of Angers, France - Model theory.

» Dosen, Kosta - University of Belgrade - Proof theory, category theory.

http://logik.mathematik.uni-freiburg.de/personen/Ebbinghaus.html

» Ebbinghaus, Heinz-Dieter - University of Freiburg - Finite model theory.

$http://www.math.ucla.edu/~hbe/$

» Enderton, Herbert B. - UCLA - Recursion theory, definability theory.

http://www-csli.stanford.edu/hp/etchemendy.html

» Etchemendy, John - Stanford University - Philosophical logic, semantics, and philosophy of language.

$http://math.stanford.edu/~feferman/$

» 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.

http://logik.mathematik.uni-freiburg.de/personen/Flum.html

» Flum, Jörg - University of Freiburg - Finite model theory.

$http://www.math.uci.edu/faculty/mforeman.html$

» Foreman, Matthew - UC Irvine - Set theory.

» Forster, T. E. - University of Cambridge - Set theory, type theory.

» Friedman, Sy D. - University of Vienna - Set theory.

$http://www.math.nmsu.edu/mgehrke/mgehrke.html$

» Gehrke, Mai - New Mexico State University - Nonstandard mathematics, operators on boolean algebras, fuzzy mathematics, universal algebra, general topology, posets and lattices.

http://www.dmi.unisa.it/people/gerla/www/

» Gerla, Giangiacomo - University of Salerno, Italy - Fuzzy logic, percentage logic, pointless geometry.

» Goldstern, Martin - University of Technology, Vienna - Set theory.

$http://www.math.cmu.edu/users/rami/$

» 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.

http://home.mathematik.uni-freiburg.de/herwig/

» Herwig, Bernhard - University of Freiburg - Model theory.

» Hindley, J. R. - University of Wales, Swansea - Lambda-calculus, combinatory logic and type-theory.

$http://www.math.ucla.edu/~greg/$

» 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.

http://www.dpmms.cam.ac.uk/~martin/index.html

» 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.

$http://www.math.psu.edu/jech/$

» Jech, Thomas - Pennsylvania State University - Set theory.

$http://www.math.uiuc.edu/~jockusch/$

» Jockusch, Carl G. - University of Illinois, Urbana Champaign - Recursion theory.

http://sunpool.mathematik.uni-freiburg.de/home/junker/Junker-eng.html

» Junker, Markus - University of Freiburg - Model theory.

$http://math.uh.edu/~klaus/$

» Kaiser, Klaus - University of Houston - Mathematical logic, universal algebra, lattice theory and logic programming.

$http://math.bu.edu/people/aki/$

» Kanamori, Akihiro - Boston University - Set theory.

» Kastermans, Bart - University of Michigan - Set theory.

» Kaye, Richard - University of Birmingham - Model theory.

$http://www.math.caltech.edu/people/kechris.html$

» Kechris, Alexander S. - Caltech - Foundations of mathematics, mathematical logic and set theory, interactions with analysis.

$http://math.nd.edu/faculty/knight.shtml$

» Knight, Julia F. - University of Notre Dame - Recursion theory.

$http://www.math.wisc.edu/~kunen/$

» Kunen, Kenneth - University of Wisconsin, Madison - Set theory.

http://iml.univ-mrs.fr/~lafont/welcome.html

» 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.

http://www-i5.informatik.rwth-aachen.de/gerhard/

» Lakemeyer, Gerhard - Aachen University of Technology - Knowledge-based systems.

$http://www.math.ufl.edu/~jal/$

» Larson, Jean A. - University of Florida - Set theory, combinatorics.

http://www.logique.jussieu.fr/www.lascar/

» Lascar, Daniel - CNRS / University of Paris 7 - Model theory.

» Leivant, Daniel - Indiana University - Computational complexity.

$http://www.math.wisc.edu/~lempp/$

» Lempp, Steffen - University of Wisconsin, Madison - Computability, recursion theory.

$http://www.math.uic.edu/~lessmann/$

» 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.

http://www.lps.uci.edu/home/fac-staff/faculty/maddy/

» Maddy, Penelope - University of California Irvine - Philosophy of logic and mathematics.

http://www.cs.technion.ac.il/~janos/index.html

» 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.

$http://www.math.uic.edu/~marker/$

» Marker, David - University of Illinois, Chicago - Model theory.

» Matiyasevich, Yuri - Steklov Institute, St. Petersburg - Algorithmical number theory.

$http://www.math.vanderbilt.edu/~mckenzie/$

» McKenzie, Ralph - Vanderbildt University and UC Berkeley - Algebra, logic, combinatorics.

http://www.lix.polytechnique.fr/Labo/Dale.Miller/

» Miller, Dale - INRIA Saclay - Île-de-France - Linear logic, proof search, automated reasoning, and declarative programming languages.

$http://www.math.ufl.edu/~mitchell/$

» Mitchell, William - University of Florida - Set theory.

$http://www.colorado.edu/math/courses/monkd/$

» Monk, Donald - University of Colorado, Boulder - Boolean algebras.

$http://www.math.uiuc.edu/~jamoreno$

» Moreno, Javier - University of Illinois, Urbana-Champaign - Model theory and applications.

$http://www.math.ucla.edu/~ynm/$

» Moschovakis, Yiannis N. - UCLA - Set theory, recursion theory.

» Moss, Lawrence - Indiana University - Applied logic.

$http://www.math.princeton.edu/~nelson/index.html$

» Nelson, Edward - Princeton University - Bounded arithmetic, automated proof verification (QED).

$http://www.math.cornell.edu/~anil/$

» Nerode, Anil - Cornell University - Computability theory, logic in computer science, history of logic.

http://www.comlab.ox.ac.uk/people/Luke.Ong/

» Ong, C.-H. Luke - Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.

http://www.jaist.ac.jp/is/labs/ono-ishihara-lab/members/ono.html

» Ono, Hiroakira - Japan Advanced Institute of Science and Technology - Nonclassical logic, substructural logics, logic of knowledge and belief, cumulative reasoning.

http://www.sci.brooklyn.cuny.edu/cis/parikh/

» 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.

http://www.inf.ed.ac.uk/people/staff/Gordon_Plotkin.html

» 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.

http://www.doc.mmu.ac.uk/STAFF/P.Quigley/

» Quigley, Peter - Manchester Metropolitan University - Computational logic, formal methods, formal specification, automated reasoning and proof planning.

http://www.amsta.leeds.ac.uk/Pure/staff/rathjen/rathjen.html

» 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.

$http://www.math.purdue.edu/~jer/$

» 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.

$http://www.math.uu.se/~setzer/$

» Setzer, Anton - Uppsala University - proof theory (ordinal analysis), Martin-Löf type theory.

$http://www.math.cornell.edu/~shore/$

» Shore, Richard A. - Cornell University - Recursion theory.

http://www.hss.cmu.edu/philosophy/faculty-sieg.php

» Sieg, Wilfried - Carnegie Mellon University - Proof theory, philosophy of mathematics, history of 19th and 20th century logic and mathematics.

$http://www.math.psu.edu/simpson/$

» Simpson, George - Penn State University - Fuondations of mathematics and logic.

$http://www-math.mit.edu/~sipser/index.html$

» Sipser, Michael - MIT - Complexity theory.

$http://www.math.berkeley.edu/~slaman/$

» Slaman, Theodore A. - University of California, Berkeley - Recursion theory.

» Soare, Robert I. - University of Chicago - Recursion theory.

$http://www.math.berkeley.edu/~solovay/$

» Solovay, Robert M. - University of California, Berkeley - Proof theory.

$http://www.math.cmu.edu/people/fac/statman.html$

» 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.

$http://lpcs.math.msu.su/~ver/$

» 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.

http://www.uni-leipzig.de/~logik/wansing/wansing.html

» 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.

http://logik.mathematik.uni-freiburg.de/personen/Ziegler.html

» Ziegler, Martin - University of Freiburg - Model theory.

» Zilber, Boris - University of Oxford - Model theory.

The content of this directory is based on the Open Directory and may have been modified.

Sun, 12 Oct 2008

Mozilla related sections:

Switch Guide, simple steps to switch to the browser you can trust.

MozInfo701, Mozilla Information Centre from SillyDog701.

MozInfo701 Directory, a browser related directory.

Netscape Browser Archive, still the easiest place to get Netscape browsers.

Browser Version Guide, your guide to the evolution of internet and the browser that changed the world wide web.

Communicator Tips, featured in dynamic presentation.

Netscape Knowledge Base, our technical articles and information pages.