Add your Web Site - Logic and Foundations - People Add Search to your Site Search for: Internet Entire Directory Directory - People Results per page: 10 20 50 Output format: Long Short URL Match: All Any Boolean Pages from: All Countries Afghanistan American Samoa Albania Algeria Andorra Angola Anguilla Antigua and Barbuda Antarctica Argentina Armenia Aruba Australia Austria Azerbaijan Bahamas Bahrain Bangladesh Barbados Belarus Belgium Belize Benin Bermuda Bhutan Bolivia Bosnia and Herzegovina Botswana Bouvet Island Brazil British Indian Ocean Territory Brunei Darussalam Bulgaria Burkina Faso Burundi Cambodia Cameroon Canada Cape Verde Cayman Islands Central African Republic Chad Chile China Christmas Island Cocos (Keeling) Islands Colombia Comoros Congo Cook Islands Costa Rica Cote D'Ivoire (Ivory Coast) Croatia (Hrvatska) Cuba Cyprus Czech Republic Czechoslovakia (former) Denmark Djibouti Dominica Dominican Republic East Timor Ecuador Egypt El Salvador Eritrea Estonia Ethiopia Equatorial Guinea Falkland Islands (Malvinas) Faroe Islands Fiji Finland France France, Metropolitan French Guiana French Polynesia French Southern Territories Gabon Gambia Germany Georgia Ghana Gibraltar Great Britain (UK) Greece Greenland Grenada Guadeloupe Guam Guatemala Guinea Guinea-Bissau Guyana Haiti Heard and McDonald Islands Honduras Hungary Hong Kong Iceland India Indonesia Iran Iraq Ireland Israel Italy Jamaica Japan Jordan Kazakhstan Kenya Kiribati Korea (North) Korea (South) Kuwait Kyrgyzstan Laos Latvia Lebanon Lesotho Liberia Libya Liechtenstein Lithuania Luxembourg Macau Macedonia Madagascar Malawi Malaysia Maldives Mali Malta Marshall Islands Martinique Mauritania Mauritius Mayotte Mexico Micronesia Moldova Monaco Mongolia Montserrat Morocco Mozambique Myanmar Namibia Nauru Nepal Netherlands Netherlands Antilles Neutral Zone New Caledonia New Zealand (Aotearoa) Northern Mariana Islands Nicaragua Niue Niger Nigeria Norfolk Island Norway Oman Pakistan Palau Panama Papua New Guinea Paraguay Peru Philippines Pitcairn Poland Portugal Puerto Rico Qatar Reunion Romania Russian Federation Rwanda Saint Kitts and Nevis Saint Lucia Saint Vincent and the Grenadines Samoa San Marino Sao Tome and Principe Saudi Arabia Senegal Seychelles Sierra Leone Singapore Slovak Republic Slovenia Solomon Islands Somalia South Africa S. Georgia and S. Sandwich Isls. Spain Sri Lanka St. Pierre and Miquelon St. Helena Sudan Suriname Svalbard and Jan Mayen Islands Swaziland Sweden Switzerland Syria Taiwan Tajikistan Tanzania Thailand Togo Tokelau Tonga Trinidad and Tobago Tunisia Turkey Turkmenistan Turks and Caicos Islands Tuvalu Uganda Ukraine United Arab Emirates United States Uruguay US Minor Outlying Islands Uzbekistan Vanuatu Vatican City State (Holy See) Venezuela Virgin Islands (British) Virgin Islands (U.S.) Viet Nam Wallis and Futuna Islands Western Sahara Yemen Yugoslavia Zaire Zambia Zimbabwe    Students and Independent Scholars (3)      Show pages from IntraNet   Show all pages  DIRECTORY/Science/Tech/Math/Logic and Foundations/People (123) Aczel, Peter - http://www.cs.man.ac.uk/~petera/ - University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.   Andrews, Peter B. - http://gtps.math.cmu.edu/andrews.html - Carnegie Mellon University - Type theory, automated theorem proving.   Artemov, Sergei - http://web.cs.gc.cuny.edu/~sartemov/ - City University of New York Graduate Center - Proof theory, logic of proofs.   Avigad, Jeremy - http://www.andrew.cmu.edu/user/avigad/ - Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.   Awodey, Steve - http://www.andrew.cmu.edu/user/awodey/ - Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.   Baldwin, John T. - http://www.math.uic.edu/~jbaldwin/ - University of Illinois, Chicago - Model theory (finite and infinite).   Barendregt, Henk - http://www.cs.ru.nl/~henk/ - Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.   Beklemishev, Lev - http://www.phil.uu.nl/~lev/ - Utrecht University and Steklov Mathematical Institute of Moscow - Proof theory, modal logics.   Blass, Andreas R. - http://www.math.lsa.umich.edu/~ablass/ - University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.   Bouscaren, Elisabeth - http://www.logique.jussieu.fr/www.elibou/ - CNRS / University of Paris 7 - Model theory and algebraic geometry.   Buechler, Steven - http://www.nd.edu/~steve/ - University of Notre Dame - Model theory.   Burris, Stanley - http://www.thoralf.uwaterloo.ca/ - University of Waterloo - Universal algebra, logic, computers.   Buss, Samuel R. - http://math.ucsd.edu/~sbuss/ - University of California, San Diego - Proof theory, computational complexity.   Carlstrom, Jesper - http://www.math.su.se/~jesper/ - Stockholm University - Constructive type theory and related mathematics.   Carnielli, Walter A. - http://www.unicamp.br/cle/carniell.htm - State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics, paraconsistent logics, finite and infinite combinatorics.   Chaitin, Gregory J. - http://www.cs.auckland.ac.nz/CDMTCS/chaitin/ - IBM Research - Algorithmic information theory.   Chatzidakis, Zoé - http://www.logique.jussieu.fr/www.zoe/ - CNRS/University of Paris 7 - Model theory.   Cholak, Peter - http://www.math.nd.edu/faculty/cholak.shtml - University of Notre Dame - Recursion theory.   Cummings, James - http://www.math.cmu.edu/users/jcumming/ - Carnegie Mellon University - Set theory.   Danos, Vincent - http://www.logique.jussieu.fr/www.danos/ - University of Paris 7 - Proof theory, linear logic.   Darnière, Luck - http://math.univ-angers.fr/~darniere/home_uk.html - University of Angers, France - Model theory.   Dosen, Kosta - http://www.mi.sanu.ac.yu/~kosta/ - University of Belgrade - Proof theory, category theory.   Ebbinghaus, Heinz-Dieter - http://logik.mathematik.uni-freiburg.de/personen/Ebbinghaus.html - University of Freiburg - Finite model theory.   Enderton, Herbert B. - http://www.math.ucla.edu/~hbe/ - UCLA - Recursion theory, definability theory.   Etchemendy, John - http://www-csli.stanford.edu/hp/etchemendy.html - Stanford University - Philosophical logic, semantics, and philosophy of language.   Feferman, Solomon - http://math.stanford.edu/~feferman/ - Stanford University - Proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic.   Fitting, Melvin - http://comet.lehman.cuny.edu/fitting/ - City University of New York - Logic in computer science, mathematics, philosophy.   Flum, Jörg - http://logik.mathematik.uni-freiburg.de/personen/Flum.html - University of Freiburg - Finite model theory.   Foreman, Matthew - http://www.math.uci.edu/faculty/mforeman.html - UC Irvine - Set theory.   Forster, T. E. - http://www.dpmms.cam.ac.uk/~tf/ - University of Cambridge - Set theory, type theory.   Friedman, Sy D. - http://www.logic.univie.ac.at/~sdf/ - University of Vienna - Set theory.   Gehrke, Mai - http://www.math.nmsu.edu/mgehrke/mgehrke.html - New Mexico State University - Nonstandard mathematics, operators on boolean algebras, fuzzy mathematics, universal algebra, general topology, posets and lattices.   Gerla, Giangiacomo - http://www.dmi.unisa.it/people/gerla/www/ - University of Salerno, Italy - Fuzzy logic, percentage logic, pointless geometry.   Goldstern, Martin - http://info.tuwien.ac.at/goldstern/ - University of Technology, Vienna - Set theory.   Grossberg, Rami - http://www.math.cmu.edu/users/rami/ - Carnegie Mellon University - Model theory.   Guglielmi, Alessio - http://alessio.guglielmi.name/ - Technische Universitaet Dresden - Proof Theory.   Herwig, Bernhard - http://home.mathematik.uni-freiburg.de/herwig/ - University of Freiburg - Model theory.   Hindley, J. R. - http://www-maths.swan.ac.uk/staff/jrh/ - University of Wales, Swansea - Lambda-calculus, combinatory logic and type-theory.   Hjorth, Greg - http://www.math.ucla.edu/~greg/ - UCLA - Descriptive set theory, countable models, definable equivalence relations.   Hodges, Wilfrid - http://www.maths.qmw.ac.uk/~wilfrid/ - University of London - Model theory.   Holmes, Randall - http://diamond.boisestate.edu/~holmes/ - Boise State University - Set theory: New Foundations, automated theorem proving.   Howard, Paul - http://www.emunix.emich.edu/~phoward/ - Eastern Michigan University - Axiom of choice.   Hustadt, Ullrich - http://www.csc.liv.ac.uk/~ullrich/ - University of Liverpool - Resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic.   Hyland, J. Martin E. - http://www.dpmms.cam.ac.uk/~martin/index.html - University of Cambridge - Categorical logic, game semantics and logic in computer science.   Hähnle, Reiner - http://www.cs.chalmers.se/~reiner/ - Chalmers University of Technology, Sweden - Tableau-based automated theorem proving, many-valued logic, formal verification.   Japaridze, Giorgi - http://www.csc.villanova.edu/~japaridz/ - Villanova University - computability logic, game semantics, provability logic.   Jech, Thomas - http://www.math.psu.edu/jech/ - Pennsylvania State University - Set theory.   Jockusch, Carl G. - http://www.math.uiuc.edu/~jockusch/ - University of Illinois, Urbana Champaign - Recursion theory.   Junker, Markus - http://sunpool.mathematik.uni-freiburg.de/home/junker/Junker-eng.html - University of Freiburg - Model theory.   Kaiser, Klaus - http://math.uh.edu/~klaus/ - University of Houston - Mathematical logic, universal algebra, lattice theory and logic programming.   Kanamori, Akihiro - http://math.bu.edu/people/aki/ - Boston University - Set theory.   Kastermans, Bart - http://www.bartk.nl/ - University of Michigan - Set theory.   Kaye, Richard - http://for.mat.bham.ac.uk/R.W.Kaye/ - University of Birmingham - Model theory.   Kechris, Alexander S. - http://www.math.caltech.edu/people/kechris.html - Caltech - Foundations of mathematics, mathematical logic and set theory, interactions with analysis.   Knight, Julia F. - http://math.nd.edu/faculty/knight.shtml - University of Notre Dame - Recursion theory.   Kunen, Kenneth - http://www.math.wisc.edu/~kunen/ - University of Wisconsin, Madison - Set theory.   Lafont, Yves - http://iml.univ-mrs.fr/~lafont/welcome.html - 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 - http://www-i5.informatik.rwth-aachen.de/gerhard/ - Aachen University of Technology - Knowledge-based systems.   Larson, Jean A. - http://www.math.ufl.edu/~jal/ - University of Florida - Set theory, combinatorics.   Lascar, Daniel - http://www.logique.jussieu.fr/www.lascar/ - CNRS / University of Paris 7 - Model theory.   Leivant, Daniel - http://www.cs.indiana.edu/~leivant/ - Indiana University - Computational complexity.   Lempp, Steffen - http://www.math.wisc.edu/~lempp/ - University of Wisconsin, Madison - Computability, recursion theory.   Lessmann, Olivier - http://www.math.uic.edu/~lessmann/ - University of Illinois, Chicago - Model theory.   Levesque, Hector - http://www.cs.toronto.edu/~hector/ - University of Toronto - Knowledge representation.   Lindell, Steven - http://www.haverford.edu/cmsc/slindell/ - Haverford College - Finite model theory, descriptive complexity.   Luo, Zhaohui - http://www.cs.rhul.ac.uk/~zhaohui/ - University of London, UK - Type theory, theoretical computer science and semantics of natural languages.   Maddy, Penelope - http://www.lps.uci.edu/home/fac-staff/faculty/maddy/ - University of California Irvine - Philosophy of logic and mathematics.   Makowsky, Johann (Janos) A. - http://www.cs.technion.ac.il/~janos/index.html - Technion, Israel - Logic in computer science, finite model theory.   Marcos, João - http://www.geocities.com/jm_logica/ - State University of Campinas, Brazil - Philosophical logic, paraconsistent, many-valued and modal logics.   Marker, David - http://www.math.uic.edu/~marker/ - University of Illinois, Chicago - Model theory.   Matiyasevich, Yuri - http://logic.pdmi.ras.ru/~yumat - Steklov Institute, St. Petersburg - Algorithmical number theory.   McKenzie, Ralph - http://www.math.vanderbilt.edu/~mckenzie/ - Vanderbildt University and UC Berkeley - Algebra, logic, combinatorics.   Miller, Dale - http://www.lix.polytechnique.fr/Labo/Dale.Miller/ - INRIA Saclay - Île-de-France - Linear logic, proof search, automated reasoning, and declarative programming languages.   Mitchell, William - http://www.math.ufl.edu/~mitchell/ - University of Florida - Set theory.   Moreno, Javier - http://www.math.uiuc.edu/~jamoreno - University of Illinois, Urbana-Champaign - Model theory and applications.   Moschovakis, Yiannis N. - http://www.math.ucla.edu/~ynm/ - UCLA - Set theory, recursion theory.   Moss, Lawrence - http://www.indiana.edu/~iulg/moss/ - Indiana University - Applied logic.   Nelson, Edward - http://www.math.princeton.edu/~nelson/index.html - Princeton University - Bounded arithmetic, automated proof verification (QED).   Nerode, Anil - http://www.math.cornell.edu/~anil/ - Cornell University - Computability theory, logic in computer science, history of logic.   Ong, C.-H. Luke - http://www.comlab.ox.ac.uk/people/Luke.Ong/ - Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.   Ono, Hiroakira - http://www.jaist.ac.jp/is/labs/ono-ishihara-lab/members/ono.html - Japan Advanced Institute of Science and Technology - Nonclassical logic, substructural logics, logic of knowledge and belief, cumulative reasoning.   Parikh, Rohit - http://www.sci.brooklyn.cuny.edu/cis/parikh/ - Brooklyn College - Reasoning about knowledge, belief revision, game theory, philosophy of language.   Pedicini, Marco - http://www.iac.rm.cnr.it/~marco/html - Institute for Applied Calculus, Rome - Theoretical computer science, linear logic, geometry of interaction, optimal reductions.   Pfenning, Frank - http://www.cs.cmu.edu/~fp/ - Carnegie Mellon University - Logic and programming languages, logical frameworks, type theory.   Pitts, Andrew - http://www.cl.cam.ac.uk/~amp12/ - University of Cambridge - Categorical logic, type theory, semantics of programming languages and logic in computer science.   Plotkin, Gordon - http://www.inf.ed.ac.uk/people/staff/Gordon_Plotkin.html - 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 - http://www.cs.sjsu.edu/faculty/pollett/ - San Jose State University - Logic, bounded arithemtic, computational complexity and quantum computation.   Prest, Mike - http://www.maths.man.ac.uk/~mprest/ - University of Manchester - Algebra and model theory.   Pym, David J. - http://www.bath.ac.uk/~cssdjp/ - University of Bath, UK - Semantics of programming languages, type theory, proof-search, logic programming, theorem proving.   Quigley, Peter - http://www.doc.mmu.ac.uk/STAFF/P.Quigley/ - Manchester Metropolitan University - Computational logic, formal methods, formal specification, automated reasoning and proof planning.   Rathjen, Michael - http://www.amsta.leeds.ac.uk/Pure/staff/rathjen/rathjen.html - University of Leeds - Proof theory.   Regnier, Laurent - http://iml.univ-mrs.fr/~regnier/ - University of Marseilles - Linear logic, lambda calculus and abstract machine interpretations.   Robinson, Edmund - http://www.dcs.qmw.ac.uk/~edmundr/ - Queen Mary and Westfield College - Categorical logic and the semantics of programming languages and type theories.   Rubin, Jean E. - http://www.math.purdue.edu/~jer/ - Purdue University - Set theory, axiom of choice.   Scedrov, Andre - http://www.cis.upenn.edu/~scedrov/ - University of Pennsylvania - Logic in computer science, linear logic.   Schmidt, Renate - http://www.cs.man.ac.uk/~schmidt/ - University of Manchester - Modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation.   Scott, Dana - http://www.cs.cmu.edu/~scott/ - Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation.   Setzer, Anton - http://www.math.uu.se/~setzer/ - Uppsala University - proof theory (ordinal analysis), Martin-Löf type theory.   Shore, Richard A. - http://www.math.cornell.edu/~shore/ - Cornell University - Recursion theory.   Sieg, Wilfried - http://www.hss.cmu.edu/philosophy/faculty-sieg.php - Carnegie Mellon University - Proof theory, philosophy of mathematics, history of 19th and 20th century logic and mathematics.   Simpson, George - http://www.math.psu.edu/simpson/ - Penn State University - Fuondations of mathematics and logic.   Sipser, Michael - http://www-math.mit.edu/~sipser/index.html - MIT - Complexity theory.   Slaman, Theodore A. - http://www.math.berkeley.edu/~slaman/ - University of California, Berkeley - Recursion theory.   Soare, Robert I. - http://www.cs.uchicago.edu/~soare/ - University of Chicago - Recursion theory.   Solovay, Robert M. - http://www.math.berkeley.edu/~solovay/ - University of California, Berkeley - Proof theory.   Statman, Richard - http://www.math.cmu.edu/people/fac/statman.html - Carnegie Mellon University - Theory of computation, lambda calculus, combinatory logic.   Taylor, Paul - http://www.monad.me.uk/ - Foundations of mathematics and computation, category theory, abstract stone duality.   Van Benthem, Johan - http://staff.science.uva.nl/~johan/ - University of Amsterdam and Stanford University - Modal logic and a wide range of other areas in logic.   Van Dalen, Dirk - http://www.phil.uu.nl/~dvdalen/ - Utrecht University - Historical aspects of logic, philosophy of mathematics.   Vereshchagin, Nikolai - http://lpcs.math.msu.su/~ver/ - Moscow State University - Theory of computation, Intuitionistic logic   Vickers, Steven - http://www.cs.bham.ac.uk/~sjv/ - University of Birmingham, UK - Geometric logic, topos theory, quantales and semantics of programming languages.   Vlad, Serban E. - http://site.voila.fr/serban_e_vlad/ - Independent scholar, Bucharest - Asynchronous automata and binary valued mathematical analysis.   Wansing, Heinrich - http://www.uni-leipzig.de/~logik/wansing/wansing.html - 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 - http://members.cox.net/wehmeier/ - UC Irvine - semantics and proof theory of intuitionistic arithmetic, logical analysis of modal discourse, the logic of Gottlob Frege.   Welch, Philip - http://www.maths.bris.ac.uk/~mapdw/ - University of Bristol - Set theory, inner models, descriptive set theory.   White, Graham - http://www.dcs.qmw.ac.uk/~graham/ - Queen Mary and Westfield College, London - Philosophy and linear logic.   Wilkie, Alex - http://people.maths.ox.ac.uk/~wilkie/ - Oxford University - Models of arithmetic.   Zach, Richard - http://www.ucalgary.ca/~rzach/ - University of Calgary - Non-classical logics, proof theory, philosophy of mathematics, history and philosophy of logic.   Ziegler, Martin - http://logik.mathematik.uni-freiburg.de/personen/Ziegler.html - University of Freiburg - Model theory.   Zilber, Boris - http://people.maths.ox.ac.uk/~zilber/ - University of Oxford - Model theory.    E-Mail: webmaster@teradex.com Copyright © 2007 Aaex Corp. all rights reserved.

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor This site is presented in modified Open Directory form