Searchpixie.com: Science : Math : Logic and Foundations : People

SearchPixie - High Traffic Pay per Click Search Engine

bookmark

Home : Science : Math : Logic and Foundations : People

CATEGORIES:

Students and Independent Scholars (3)

Featured Listing:

LINKS:

Pages: 1 2 [>>]

Aczel, Peter
University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.
http://www.cs.man.ac.uk/~petera/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Andrews, Peter B.
Carnegie Mellon University - Type theory, automated theorem proving.
http://gtps.math.cmu.edu/andrews.html
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Artemov, Sergei
City University of New York Graduate Center - Proof theory, logic of proofs.
http://www.cs.gc.cuny.edu/%7Esartemov/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Avigad, Jeremy
Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.
http://www.andrew.cmu.edu/~avigad/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Awodey, Steve
Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
http://www.andrew.cmu.edu/user/awodey/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Baldwin, John T.
University of Illinois, Chicago - Model theory (finite and infinite).
http://www.math.uic.edu/~jbaldwin/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Barendregt, Henk
Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.
http://www.cs.ru.nl/~henk/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Bartoszynski, Tomek
Boise State University - Set theory.
http://diamond.boisestate.edu/~tomek/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Beklemishev, Lev
Utrecht University and Steklov Mathematical Institute of Moscow - Proof theory, modal logics.
http://www.phil.uu.nl/~lev/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Blass, Andreas R.
University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.
http://www.math.lsa.umich.edu/~ablass/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Bouscaren, Elisabeth
CNRS / University of Paris 7 - Model theory and algebraic geometry.
http://www.logique.jussieu.fr/www.elibou/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Buechler, Steven
University of Notre Dame - Model theory.
http://www.nd.edu/~steve/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Burris, Stanley
University of Waterloo - Universal algebra, logic, computers.
http://www.thoralf.uwaterloo.ca/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Buss, Samuel R.
University of California, San Diego - Proof theory, computational complexity.
http://math.ucsd.edu/~sbuss/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Carlstrom, Jesper
Stockholm University - Constructive type theory and related mathematics.
http://www.math.su.se/~jesper/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Carnielli, Walter A.
State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics, paraconsistent logics, finite and infinite combinatorics.
http://www.unicamp.br/cle/carniell.htm
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Chaitin, Gregory J.
IBM Research - Algorithmic information theory.
http://www.cs.auckland.ac.nz/CDMTCS/chaitin/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Chatzidakis, ZoÃ©
CNRS/University of Paris 7 - Model theory.
http://www.logique.jussieu.fr/www.zoe/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Cholak, Peter
University of Notre Dame - Recursion theory.
http://www.science.nd.edu/math/faculty/cholak.shtml
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Cummings, James
Carnegie Mellon University - Set theory.
http://www.math.cmu.edu/users/jcumming/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Danos, Vincent
University of Paris 7 - Proof theory, linear logic.
http://www.logique.jussieu.fr/www.danos/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

DarniÃ¨re, Luck
University of Angers, France - Model theory.
http://math.univ-angers.fr/~darniere/home_uk.html
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Detlefsen, Michael
University of Notre Dame - Formal logic, philosophy of mathematics.
http://www.routledge.com/rep/repbiogs/detlefse.shtml
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Dosen, Kosta
University of Belgrade - Proof theory, category theory.
http://www.mi.sanu.ac.yu/~kosta/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Ebbinghaus, Heinz-Dieter
University of Freiburg - Finite model theory.
http://logik.mathematik.uni-freiburg.de/personen/Ebbinghaus.html
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Enderton, Herbert B.
UCLA - Recursion theory, definability theory.
http://www.math.ucla.edu/~hbe/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Etchemendy, John
Stanford University - Philosophical logic, semantics, and philosophy of language.
http://www-csli.stanford.edu/hp/etchemendy.html
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Feferman, Solomon
Stanford University - Proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic.
http://math.Stanford.EDU/~feferman/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Fitting, Melvin
City University of New York - Logic in computer science, mathematics, philosophy.
http://comet.lehman.cuny.edu/fitting/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Flum, JÃ¶rg
University of Freiburg - Finite model theory.
http://logik.mathematik.uni-freiburg.de/personen/Flum.html
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Font, Josep Maria
University of Barcelona - Algebraic logic.
http://www.mat.ub.es/~font/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Foreman, Matthew
UC Irvine - Set theory.
http://www.math.uci.edu/faculty/mforeman.html
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Forster, T. E.
University of Cambridge - Set theory, type theory.
http://www.dpmms.cam.ac.uk/~tf/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Friedman, Harvey
Ohio State University - Model theory, proof theory, intuitionism, recursion theory, set theory, complexity theory.
http://www.math.ohio-state.edu/foundations/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Friedman, Sy D.
University of Vienna and MIT - Set theory.
http://www-math.mit.edu/~sdf/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Gehrke, Mai
New Mexico State University - Nonstandard mathematics, operators on boolean algebras, fuzzy mathematics, universal algebra, general topology, posets and lattices.
http://www.math.nmsu.edu/mgehrke/mgehrke.html
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Gerla, Giangiacomo
University of Salerno, Italy - Fuzzy logic, percentage logic, pointless geometry.
http://www.dmi.unisa.it/people/gerla/www/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Goldstern, Martin
University of Technology, Vienna - Set theory.
http://info.tuwien.ac.at/goldstern/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Grossberg, Rami
Carnegie Mellon University - Model theory.
http://www.math.cmu.edu/users/rami/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Guglielmi, Alessio
Technische Universitaet Dresden - Proof Theory.
http://alessio.guglielmi.name/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

HÃ¤hnle, Reiner
Chalmers University of Technology, Sweden - Tableau-based automated theorem proving, many-valued logic, formal verification.
http://www.cs.chalmers.se/~reiner/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Herwig, Bernhard
University of Freiburg - Model theory.
http://sunpool.mathematik.uni-freiburg.de/home/herwig/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Hindley, J. R.
University of Wales, Swansea - Lambda-calculus, combinatory logic and type-theory.
http://www-maths.swan.ac.uk:80/staff/jrh/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Hjorth, Greg
UCLA - Descriptive set theory, countable models, definable equivalence relations.
http://www.math.ucla.edu/~greg/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Hodges, Wilfrid
University of London - Model theory.
http://www.maths.qmw.ac.uk/~wilfrid/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Holmes, Randall
Boise State University - Set theory: New Foundations, automated theorem proving.
http://diamond.boisestate.edu/~holmes/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Howard, Paul
Eastern Michigan University - Axiom of choice.
http://www.emunix.emich.edu/~phoward/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Hustadt, Ullrich
University of Liverpool - Resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic.
http://www.csc.liv.ac.uk/~ullrich/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Hyland, J. Martin E.
University of Cambridge - Categorical logic, game semantics and logic in computer science.
http://www.dpmms.cam.ac.uk/~martin/index.html
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Insall, Matt
University of Missouri, Rolla - Pure and applied logic, foundations, harmonic analysis, algebra, metric spaces.
http://www.umr.edu/~insall
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Japaridze, Giorgi
Villanova University - computability logic, game semantics, provability logic.
http://www.csc.villanova.edu/~japaridz/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Jech, Thomas
Pennsylvania State University - Set theory.
http://www.math.psu.edu/jech/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Jockusch, Carl G.
University of Illinois, Urbana Champaign - Recursion theory.
http://www.math.uiuc.edu/~jockusch/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Junker, Markus
University of Freiburg - Model theory.
http://sunpool.mathematik.uni-freiburg.de/home/junker/Junker-eng.html
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Kaiser, Klaus
University of Houston - Mathematical logic, universal algebra, lattice theory and logic programming.
http://math.uh.edu/~klaus/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Kanamori, Akihiro
Boston University - Set theory.
http://math.bu.edu/people/aki/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Kastermans, Bart
University of Michigan - Set theory.
http://www.kastermans.nl/bart/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Kaye, Richard
University of Birmingham - Model theory.
http://for.mat.bham.ac.uk/R.W.Kaye/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Kechris, Alexander S.
Caltech - Foundations of mathematics, mathematical logic and set theory, interactions with analysis.
http://www.math.caltech.edu/people/kechris.html
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Knight, Julia F.
University of Notre Dame - Recursion theory.
http://www.science.nd.edu/math/faculty/knight.shtml
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Kunen, Kenneth
University of Wisconsin, Madison - Set theory.
http://www.math.wisc.edu/~kunen/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

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://iml.univ-mrs.fr/~lafont/welcome.html
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Lakemeyer, Gerhard
Aachen University of Technology - Knowledge-based systems.
http://www-i5.informatik.rwth-aachen.de/gerhard/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Larson, Jean A.
University of Florida - Set theory, combinatorics.
http://www.math.ufl.edu/~jal/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Lascar, Daniel
CNRS / University of Paris 7 - Model theory.
http://www.logique.jussieu.fr/www.lascar/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Leivant, Daniel
Indiana University - Computational complexity.
http://www.cs.indiana.edu/~leivant/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Lempp, Steffen
University of Wisconsin, Madison - Computability, recursion theory.
http://www.math.wisc.edu/~lempp/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Lessmann, Olivier
University of Illinois, Chicago - Model theory.
http://www.math.uic.edu/~lessmann/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Levesque, Hector
University of Toronto - Knowledge representation.
http://www.cs.toronto.edu/~hector/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Lindell, Steven
Haverford College - Finite model theory, descriptive complexity.
http://www.haverford.edu/cmsc/slindell/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Luo, Zhaohui
Durham University, UK - Type theory, theoretical computer science and semantics of natural languages.
http://www.dur.ac.uk/~dcs0zl/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Maddy, Penelope
University of California Irvine - Philosophy of logic and mathematics.
http://hypatia.ss.uci.edu/lps/home/fac-staff/faculty/maddy/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Makowsky, Johann (Janos) A.
Technion, Israel - Logic in computer science, finite model theory.
http://www.cs.technion.ac.il/~janos/index.html
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Marcos, JoÃ£o
State University of Campinas, Brazil - Philosophical logic, paraconsistent, many-valued and modal logics.
http://www.geocities.com/jm_logica/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Marker, David
University of Illinois, Chicago - Model theory.
http://www.math.uic.edu/~marker/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Matiyasevich, Yuri
Steklov Institute, St. Petersburg - Algorithmical number theory.
http://logic.pdmi.ras.ru/~yumat
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Mayberry, John
University of Bristol. Foundations of mathematics. Publications, teaching material.
http://www.maths.bris.ac.uk/~majpm/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

McKenzie, Ralph
Vanderbildt University and UC Berkeley - Algebra, logic, combinatorics.
http://www.math.vanderbilt.edu/~mckenzie/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Mileti, Joe
University of Illinois at Urbana-Champaign - Computability theory.
http://www.math.uiuc.edu/~mileti/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Miller, Dale
Penn State University - Linear logic, proof search and declarative programming languages.
http://www.cse.psu.edu/~dale/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Mitchell, William
University of Florida - Set theory.
http://www.math.ufl.edu/~mitchell/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Monk, Donald
University of Colorado, Boulder - Boolean algebras.
http://www.Colorado.EDU/math/courses/monkd/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Moreno, Javier
University of Illinois, Urbana-Champaign - Model theory and applications.
http://www.math.uiuc.edu/~jamoreno
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Moschovakis, Yiannis N.
UCLA - Set theory, recursion theory.
http://www.math.ucla.edu/~ynm/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Moss, Lawrence
Indiana University - Applied logic.
http://math.indiana.edu/home/moss/home.html
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Nelson, Edward
Princeton University - Bounded arithmetic, automated proof verification (QED).
http://www.math.princeton.edu/~nelson/index.html
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Nerode, Anil
Cornell University - Computability theory, logic in computer science, history of logic.
http://www.math.cornell.edu/~anil/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Nies, Andre
University of Chicago - Recursion theory.
http://www.math.uchicago.edu/~nies/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Ong, C.-H. Luke
Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.
http://web.comlab.ox.ac.uk/oucl/people/luke.ong.html
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Ono, Hiroakira
Japan Advanced Institute of Science and Technology - Nonclassical logic, substructural logics, logic of knowledge and belief, cumulative reasoning.
http://www.jaist.ac.jp/is/labs/ono-ishihara-lab/members/ono.html
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Parikh, Rohit
Brooklyn College - Reasoning about knowledge, belief revision, game theory, philosophy of language.
http://www.sci.brooklyn.cuny.edu/cis/parikh/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Paris, Jeff
University of Manchester - Mathematical Logic, in particular uncertain reasoning.
http://www.maths.man.ac.uk/mirror/www/hpage/jbp.htm
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Pedicini, Marco
Institute for Applied Calculus, Rome - Theoretical computer science, linear logic, geometry of interaction, optimal reductions.
http://www.iac.rm.cnr.it/~marco/html
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Pfenning, Frank
Carnegie Mellon University - Logic and programming languages, logical frameworks, type theory.
http://www.cs.cmu.edu/~fp/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Pitts, Andrew
University of Cambridge - Categorical logic, type theory, semantics of programming languages and logic in computer science.
http://www.cl.cam.ac.uk/~amp12/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

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.
http://www.inf.ed.ac.uk/people/staff/Gordon_Plotkin.html
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Pollett, Chris
San Jose State University - Logic, bounded arithemtic, computational complexity and quantum computation.
http://www.cs.sjsu.edu/faculty/pollett/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Pratt, Vaughan
Stanford University - Linear logic, Chu spaces, foundations of mathematics, theoretical computer science and wearable computing.
http://boole.stanford.edu/pratt.html
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Prest, Mike
University of Manchester - Algebra and model theory.
http://www.maths.man.ac.uk/~mprest/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Pym, David
University of Bath, England - Proof theory, logic and computation.
http://www.bath.ac.uk/~cssdjp/
(Added: Thu Jan 01 2004 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

Pages: 1 2 [>>]

• HOME • ADD A LINK • MODIFY A LINK • NEW LINKS • COOL LINKS • TOP RATED • NEWSLETTER • RANDOM LINK • SEARCH • LOGIN •

Copyright �2006 SearchPixie.com Pay Per Click Search Engine. All Rights Reserved

Network Sites : A Funny Site Big Upload TrafficGiveAway SearchPixie 100000freecliparts picZs MyfunPortal Top20Cool HotterBabes 12Freebie Clipaholic ActivityPortal FreebieJungle MyOwnStartpage WallpaperSpecials Online Games Sexy.VoteMonster 100000freetemplates 100000freewallpapers SiteBuilder-FX UpdatedSucks 100000freescreensavers VoteMonster Nature Photo Index filehostingreview Wonderful Faces