clixShare.co.uk Directory: Science-Math-Logic and Foundations-People

Friday, July 25

Home

Students and Independent Scholars (3)

See also:

Science: Math: Logic and Foundations: History: People (82)

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

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor

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

Terms of Service

FAQ's

Privacy Policy