Home
Music_Metasearch
Music Top Sites
Music Store

AllMusicListings
Concert Listings
Concert Tickets

AllMusicTalk
Chat Rooms
Message Boards

MusicNews
Pop Music News
Pop Music Reviews
Music Business
MP3 News

Community Blogs
Free Member Blogs

AllMusicPages
Free Web Pages

AllMusicBookmarks
Your Bookmarks

AllMusicFun
Musical Postcards
Relationship Test
Tarot Readings
Numerology

Music Auctions
Auctions
Classifieds

Music Apparel
AllMusicSearch Apparel

Music Store
MP3 Players
Audio Equipment
MP3 Software

Musical Instruments

Music Books
Music Magazines

Music T-Shirts

Alternative Rock
Blues
Broadway & Vocal
Children's
Christian & Gospel
Classic Rock
Classical
Country
Dance & DJ
Folk
Hard Rock & Metal
International
Jazz
Latin Music
Miscellaneous
New Age
Opera & Vocal
Pop
R&B
Rap & Hip-Hop
Rock
Soundtracks

Music Videos
Music DVDs

Suggest a site 

Search: Options: entire directory this category only advanced

Top: Science: Math: Logic_and_Foundations: People:

People (113)

• Top/Science/Math/Logic and Foundations/History/People

» Aczel, Peter
   University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.
   http://www.cs.man.ac.uk/~petera/

» Andrews, Peter B.
   Carnegie Mellon University - Type theory, automated theorem proving.
   http://gtps.math.cmu.edu/andrews.html

» Artemov, Sergei
   City University of New York Graduate Center - Proof theory, logic of proofs.
   http://web.cs.gc.cuny.edu/~sartemov/

» Avigad, Jeremy
   Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.
   http://www.andrew.cmu.edu/user/avigad/

» Awodey, Steve
   Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
   http://www.andrew.cmu.edu/user/awodey/

» Baldwin, John T.
   University of Illinois, Chicago - Model theory (finite and infinite).
   http://www.math.uic.edu/~jbaldwin/

» Barendregt, Henk
   Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.
   http://www.cs.ru.nl/~henk/

» Beklemishev, Lev
   Utrecht University and Steklov Mathematical Institute of Moscow - Proof theory, modal logics.
   http://www.phil.uu.nl/~lev/

» Blass, Andreas R.
   University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.
   http://www.math.lsa.umich.edu/~ablass/

» Bouscaren, Elisabeth
   CNRS / University of Paris 7 - Model theory and algebraic geometry.
   http://www.logique.jussieu.fr/www.elibou/

» Buechler, Steven
   University of Notre Dame - Model theory.
   http://www.nd.edu/~steve/

» Burris, Stanley
   University of Waterloo - Universal algebra, logic, computers.
   http://www.thoralf.uwaterloo.ca/

» Buss, Samuel R.
   University of California, San Diego - Proof theory, computational complexity.
   http://math.ucsd.edu/~sbuss/

» Carlstrom, Jesper
   Stockholm University - Constructive type theory and related mathematics.
   http://www.math.su.se/~jesper/

» 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

» Chaitin, Gregory J.
   IBM Research - Algorithmic information theory.
   http://www.cs.auckland.ac.nz/CDMTCS/chaitin/

» Chatzidakis, Zoé
   CNRS/University of Paris 7 - Model theory.
   http://www.logique.jussieu.fr/www.zoe/

» Cholak, Peter
   University of Notre Dame - Recursion theory.
   http://www.math.nd.edu/faculty/cholak.shtml

» Cummings, James
   Carnegie Mellon University - Set theory.
   http://www.math.cmu.edu/users/jcumming/

» Danos, Vincent
   University of Paris 7 - Proof theory, linear logic.
   http://www.logique.jussieu.fr/www.danos/

» Darnière, Luck
   University of Angers, France - Model theory.
   http://math.univ-angers.fr/~darniere/home_uk.html

» Ebbinghaus, Heinz-Dieter
   University of Freiburg - Finite model theory.
   http://home.mathematik.uni-freiburg.de/hde/Ebbinghaus.html

» Enderton, Herbert B.
   UCLA - Recursion theory, definability theory.
   http://www.math.ucla.edu/~hbe/

» Etchemendy, John
   Stanford University - Philosophical logic, semantics, and philosophy of language.
   http://www-csli.stanford.edu/hp/etchemendy.html

» Feferman, Solomon
   Stanford University - Proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic.
   http://math.stanford.edu/~feferman/

» Fitting, Melvin
   City University of New York - Logic in computer science, mathematics, philosophy.
   http://comet.lehman.cuny.edu/fitting/

» Flum, Jörg
   University of Freiburg - Finite model theory.
   http://logik.mathematik.uni-freiburg.de/personen/Flum.html

» Forster, T. E.
   University of Cambridge - Set theory, type theory.
   http://www.dpmms.cam.ac.uk/~tf/

» Friedman, Sy D.
   University of Vienna - Set theory.
   http://www.logic.univie.ac.at/~sdf/

» 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

» Gerla, Giangiacomo
   University of Salerno, Italy - Fuzzy logic, percentage logic, pointless geometry.
   http://www.dmi.unisa.it/people/gerla/www/

» Goldstern, Martin
   University of Technology, Vienna - Set theory.
   http://info.tuwien.ac.at/goldstern/

» Grossberg, Rami
   Carnegie Mellon University - Model theory.
   http://www.math.cmu.edu/users/rami/

» Guglielmi, Alessio
   Technische Universitaet Dresden - Proof Theory.
   http://alessio.guglielmi.name/

» Herwig, Bernhard
   University of Freiburg - Model theory.
   http://home.mathematik.uni-freiburg.de/herwig/

» Hindley, J. R.
   University of Wales, Swansea - Lambda-calculus, combinatory logic and type-theory.
   http://www-maths.swan.ac.uk/staff/jrh/

» Hjorth, Greg
   UCLA - Descriptive set theory, countable models, definable equivalence relations.
   http://www.math.ucla.edu/~greg/

» Hodges, Wilfrid
   University of London - Model theory.
   http://www.maths.qmw.ac.uk/~wilfrid/

» Holmes, Randall
   Boise State University - Set theory: New Foundations, automated theorem proving.
   http://diamond.boisestate.edu/~holmes/

» Howard, Paul
   Eastern Michigan University - Axiom of choice.
   http://www.emunix.emich.edu/~phoward/

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

» 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

» Japaridze, Giorgi
   Villanova University - computability logic, game semantics, provability logic.
   http://www.csc.villanova.edu/~japaridz/

» Jech, Thomas
   Pennsylvania State University - Set theory.
   http://www.math.psu.edu/jech/

» Jockusch, Carl G.
   University of Illinois, Urbana Champaign - Recursion theory.
   http://www.math.uiuc.edu/~jockusch/

» Junker, Markus
   University of Freiburg - Model theory.
   http://sunpool.mathematik.uni-freiburg.de/home/junker/Junker-eng.html

» Kaiser, Klaus
   University of Houston - Mathematical logic, universal algebra, lattice theory and logic programming.
   http://math.uh.edu/~klaus/

» Kanamori, Akihiro
   Boston University - Set theory.
   http://math.bu.edu/people/aki/

» Kastermans, Bart
   University of Michigan - Set theory.
   http://www.bartk.nl/

» Kaye, Richard
   University of Birmingham - Model theory.
   http://for.mat.bham.ac.uk/R.W.Kaye/

» Kechris, Alexander S.
   Caltech - Foundations of mathematics, mathematical logic and set theory, interactions with analysis.
   http://www.math.caltech.edu/people/kechris.html

» Knight, Julia F.
   University of Notre Dame - Recursion theory.
   http://math.nd.edu/faculty/knight.shtml

» Kunen, Kenneth
   University of Wisconsin, Madison - Set theory.
   http://www.math.wisc.edu/~kunen/

» 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

» Lakemeyer, Gerhard
   Aachen University of Technology - Knowledge-based systems.
   http://www-i5.informatik.rwth-aachen.de/gerhard/

» Larson, Jean A.
   University of Florida - Set theory, combinatorics.
   http://www.math.ufl.edu/~jal/

» Lascar, Daniel
   CNRS / University of Paris 7 - Model theory.
   http://www.logique.jussieu.fr/www.lascar/

» Leivant, Daniel
   Indiana University - Computational complexity.
   http://www.cs.indiana.edu/~leivant/

» Lempp, Steffen
   University of Wisconsin, Madison - Computability, recursion theory.
   http://www.math.wisc.edu/~lempp/

» Lessmann, Olivier
   University of Illinois, Chicago - Model theory.
   http://www.math.uic.edu/~lessmann/

» Levesque, Hector
   University of Toronto - Knowledge representation.
   http://www.cs.toronto.edu/~hector/

» Lindell, Steven
   Haverford College - Finite model theory, descriptive complexity.
   http://www.haverford.edu/cmsc/slindell/

» Luo, Zhaohui
   University of London, UK - Type theory, theoretical computer science and semantics of natural languages.
   http://www.cs.rhul.ac.uk/~zhaohui/

» Maddy, Penelope
   University of California Irvine - Philosophy of logic and mathematics.
   http://www.lps.uci.edu/home/fac-staff/faculty/maddy/

» Makowsky, Johann (Janos) A.
   Technion, Israel - Logic in computer science, finite model theory.
   http://www.cs.technion.ac.il/~janos/index.html

» Marker, David
   University of Illinois, Chicago - Model theory.
   http://www.math.uic.edu/~marker/

» Matiyasevich, Yuri
   Steklov Institute, St. Petersburg - Algorithmical number theory.
   http://logic.pdmi.ras.ru/~yumat/

» McKenzie, Ralph
   Vanderbildt University and UC Berkeley - Algebra, logic, combinatorics.
   http://www.math.vanderbilt.edu/~mckenzie/

» Miller, Dale
   INRIA Saclay - ÃŽle-de-France - Linear logic, proof search, automated reasoning, and declarative programming languages.
   http://www.lix.polytechnique.fr/Labo/Dale.Miller/

» Mitchell, William
   University of Florida - Set theory.
   http://www.math.ufl.edu/~mitchell/

» Moschovakis, Yiannis N.
   UCLA - Set theory, recursion theory.
   http://www.math.ucla.edu/~ynm/

» Moss, Lawrence
   Indiana University - Applied logic.
   http://www.indiana.edu/~iulg/moss/

» Nelson, Edward
   Princeton University - Bounded arithmetic, automated proof verification (QED).
   http://www.math.princeton.edu/~nelson/index.html

» Nerode, Anil
   Cornell University - Computability theory, logic in computer science, history of logic.
   http://www.math.cornell.edu/~anil/

» Ong, C.-H. Luke
   Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.
   http://www.comlab.ox.ac.uk/people/Luke.Ong/

» 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

» Parikh, Rohit
   Brooklyn College - Reasoning about knowledge, belief revision, game theory, philosophy of language.
   http://www.sci.brooklyn.cuny.edu/cis/parikh/

» 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

» Pfenning, Frank
   Carnegie Mellon University - Logic and programming languages, logical frameworks, type theory.
   http://www.cs.cmu.edu/~fp/

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

» 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 ca
   http://www.inf.ed.ac.uk/people/staff/Gordon_Plotkin.html

» Pollett, Chris
   San Jose State University - Logic, bounded arithmetic, computational complexity and quantum computation.
   http://www.cs.sjsu.edu/faculty/pollett/

» Prest, Mike
   University of Manchester - Algebra and model theory.
   http://www.maths.man.ac.uk/~mprest/

» Pym, David J.
   University of Bath, UK - Semantics of programming languages, type theory, proof-search, logic programming, theorem proving.
   http://www.bath.ac.uk/~cssdjp/

» Rathjen, Michael
   University of Leeds - Proof theory.
   http://www.amsta.leeds.ac.uk/Pure/staff/rathjen/rathjen.html

» Regnier, Laurent
   University of Marseilles - Linear logic, lambda calculus and abstract machine interpretations.
   http://iml.univ-mrs.fr/~regnier/

» Robinson, Edmund
   Queen Mary and Westfield College - Categorical logic and the semantics of programming languages and type theories.
   http://www.eecs.qmul.ac.uk/~edmundr/

» Rubin, Jean E.
   Purdue University - Set theory, axiom of choice.
   http://www.math.purdue.edu/~hrubin/JeanRubin/

» Scedrov, Andre
   University of Pennsylvania - Logic in computer science, linear logic.
   http://www.cis.upenn.edu/~scedrov/

» Schmidt, Renate
   University of Manchester - Modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation.
   http://www.cs.man.ac.uk/~schmidt/

» Scott, Dana
   Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation.
   http://www.cs.cmu.edu/~scott/

» Setzer, Anton
   Uppsala University - proof theory (ordinal analysis), Martin-Löf type theory.
   http://www.math.uu.se/~setzer/

» Shore, Richard A.
   Cornell University - Recursion theory.
   http://www.math.cornell.edu/~shore/

» Sieg, Wilfried
   Carnegie Mellon University - Proof theory, philosophy of mathematics, history of 19th and 20th century logic and mathematics.
   http://www.hss.cmu.edu/philosophy/faculty-sieg.php

» Simpson, George
   Penn State University - Foundations of mathematics and logic.
   http://www.math.psu.edu/simpson/

» Sipser, Michael
   MIT - Complexity theory.
   http://www-math.mit.edu/~sipser/index.html

» Slaman, Theodore A.
   University of California, Berkeley - Recursion theory.
   http://www.math.berkeley.edu/~slaman/

» Soare, Robert I.
   University of Chicago - Recursion theory.
   http://www.cs.uchicago.edu/~soare/

» Solovay, Robert M.
   University of California, Berkeley - Proof theory.
   http://www.math.berkeley.edu/~solovay/

» Taylor, Paul
   Foundations of mathematics and computation, category theory, abstract stone duality.
   http://www.monad.me.uk/

» Van Benthem, Johan
   University of Amsterdam and Stanford University - Modal logic and a wide range of other areas in logic.
   http://staff.science.uva.nl/~johan/

» Van Dalen, Dirk
   Utrecht University - Historical aspects of logic, philosophy of mathematics.
   http://www.phil.uu.nl/~dvdalen/

» Vereshchagin, Nikolai
   Moscow State University - Theory of computation, Intuitionistic logic
   http://lpcs.math.msu.su/~ver/

» Vickers, Steven
   University of Birmingham, UK - Geometric logic, topos theory, quantales and semantics of programming languages.
   http://www.cs.bham.ac.uk/~sjv/

» Vlad, Serban E.
   Independent scholar, Bucharest - Asynchronous automata and binary valued mathematical analysis.
   http://site.voila.fr/serban_e_vlad/

» Welch, Philip
   University of Bristol - Set theory, inner models, descriptive set theory.
   http://www.maths.bris.ac.uk/~mapdw/

» White, Graham
   Queen Mary and Westfield College, London - Philosophy and linear logic.
   http://www.dcs.qmw.ac.uk/~graham/

» Wilkie, Alex
   Oxford University - Models of arithmetic.
   http://people.maths.ox.ac.uk/~wilkie/

» Zach, Richard
   University of Calgary - Non-classical logics, proof theory, philosophy of mathematics, history and philosophy of logic.
   http://www.ucalgary.ca/~rzach/

» Ziegler, Martin
   University of Freiburg - Model theory.
   http://logik.mathematik.uni-freiburg.de/personen/Ziegler.html

» Zilber, Boris
   University of Oxford - Model theory.
   http://people.maths.ox.ac.uk/~zilber/

Last Updated: 2007-10-15 01:52:53

Powered by AllMusicSearch.com Copyright © 2000-2014 AllMusicSearch.com Inc  Privacy Policy