ABC HOME web search Web Search web search Web Directory web search Image Search web search Video Search web search Shopping web search 4WX Weather web search Domain Search
ABC Directory
Arts Business Computers Games Health Home Kids News
Recreation Reference Regional Science Shopping Society Sports Adult

Add your website to this category
ABC HOME: Top: Science: Math: Logic_and_Foundations: People:

People (135)

Categories:
Also See:
Sponsors:
Web Sites In this Category:

Aczel, Peter Open in a new browser window  
   University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.
   http://www.cs.man.ac.uk/~petera/
Avigad, Jeremy Open in a new browser window  
   Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.
   http://www.andrew.cmu.edu/~avigad/
Awodey, Steve Open in a new browser window  
   Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
   http://www.andrew.cmu.edu/user/awodey/
Baldwin, John T. Open in a new browser window  
   University of Illinois, Chicago - Model theory (finite and infinite).
   http://www.math.uic.edu/~jbaldwin/
Bartoszynski, Tomek Open in a new browser window  
   Boise State University - Set theory.
   http://diamond.boisestate.edu/~tomek/
Blass, Andreas R. Open in a new browser window  
   University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.
   http://www.math.lsa.umich.edu/~ablass/
Bouscaren, Elisabeth Open in a new browser window  
   CNRS / University of Paris 7 - Model theory and algebraic geometry.
   http://www.logique.jussieu.fr/www.elibou/
Buechler, Steven Open in a new browser window  
   University of Notre Dame - Model theory.
   http://www.nd.edu/~steve/
Burris, Stanley Open in a new browser window  
   University of Waterloo - Universal algebra, logic, computers.
   http://www.thoralf.uwaterloo.ca/
Buss, Samuel R. Open in a new browser window  
   University of California, San Diego - Proof theory, computational complexity.
   http://math.ucsd.edu/~sbuss/
Carnielli, Walter A. Open in a new browser window  
   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. Open in a new browser window  
   IBM Research - Algorithmic information theory.
   http://www.cs.auckland.ac.nz/CDMTCS/chaitin/
Cummings, James Open in a new browser window  
   Carnegie Mellon University - Set theory.
   http://www.math.cmu.edu/users/jcumming/
Danos, Vincent Open in a new browser window  
   University of Paris 7 - Proof theory, linear logic.
   http://www.logique.jussieu.fr/www.danos/
Ebbinghaus, Heinz-Dieter Open in a new browser window  
   University of Freiburg - Finite model theory.
   http://logik.mathematik.uni-freiburg.de/personen/Ebbinghaus.html
Enderton, Herbert B. Open in a new browser window  
   UCLA - Recursion theory, definability theory.
   http://www.math.ucla.edu/~hbe/
Etchemendy, John Open in a new browser window  
   Stanford University - Philosophical logic, semantics, and philosophy of language.
   http://www-csli.stanford.edu/hp/etchemendy.html
Feferman, Solomon Open in a new browser window  
   Stanford University - Proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic.
   http://math.Stanford.EDU/~feferman/
Fitting, Melvin Open in a new browser window  
   City University of New York - Logic in computer science, mathematics, philosophy.
   http://comet.lehman.cuny.edu/fitting/
Flum, Jörg Open in a new browser window  
   University of Freiburg - Finite model theory.
   http://logik.mathematik.uni-freiburg.de/personen/Flum.html
Foreman, Matthew Open in a new browser window  
   UC Irvine - Set theory.
   http://www.math.uci.edu/faculty/mforeman.html
Forster, T. E. Open in a new browser window  
   University of Cambridge - Set theory, type theory.
   http://www.dpmms.cam.ac.uk/~tf/
Friedman, Sy D. Open in a new browser window  
   University of Vienna and MIT - Set theory.
   http://www-math.mit.edu/~sdf/
Gehrke, Mai Open in a new browser window  
   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 Open in a new browser window  
   University of Salerno, Italy - Fuzzy logic, percentage logic, pointless geometry.
   http://www.dmi.unisa.it/people/gerla/www/
Goldstern, Martin Open in a new browser window  
   University of Technology, Vienna - Set theory.
   http://info.tuwien.ac.at/goldstern/
Grossberg, Rami Open in a new browser window  
   Carnegie Mellon University - Model theory.
   http://www.math.cmu.edu/users/rami/
Herwig, Bernhard Open in a new browser window  
   University of Freiburg - Model theory.
   http://sunpool.mathematik.uni-freiburg.de/home/herwig/
Hjorth, Greg Open in a new browser window  
   UCLA - Descriptive set theory, countable models, definable equivalence relations.
   http://www.math.ucla.edu/~greg/
Hodges, Wilfrid Open in a new browser window  
   University of London - Model theory.
   http://www.maths.qmw.ac.uk/~wilfrid/
Holmes, Randall Open in a new browser window  
   Boise State University - Set theory: New Foundations, automated theorem proving.
   http://diamond.boisestate.edu/~holmes/
Howard, Paul Open in a new browser window  
   Eastern Michigan University - Axiom of choice.
   http://www.emunix.emich.edu/~phoward/
Hustadt, Ullrich Open in a new browser window  
   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. Open in a new browser window  
   University of Cambridge - Categorical logic, game semantics and logic in computer science.
   http://www.dpmms.cam.ac.uk/~martin/index.html
Jech, Thomas Open in a new browser window  
   Pennsylvania State University - Set theory.
   http://www.math.psu.edu/jech/
Jockusch, Carl G. Open in a new browser window  
   University of Illinois, Urbana Champaign - Recursion theory.
   http://www.math.uiuc.edu/~jockusch/
Junker, Markus Open in a new browser window  
   University of Freiburg - Model theory.
   http://sunpool.mathematik.uni-freiburg.de/home/junker/Junker-eng.html
Kaiser, Klaus Open in a new browser window  
   University of Houston - Mathematical logic, universal algebra, lattice theory and logic programming.
   http://math.uh.edu/~klaus/
Kanamori, Akihiro Open in a new browser window  
   Boston University - Set theory.
   http://math.bu.edu/people/aki/
Kaye, Richard Open in a new browser window  
   University of Birmingham - Model theory.
   http://for.mat.bham.ac.uk/R.W.Kaye/
Kechris, Alexander S. Open in a new browser window  
   Caltech - Foundations of mathematics, mathematical logic and set theory, interactions with analysis.
   http://www.math.caltech.edu/people/kechris.html
Kunen, Kenneth Open in a new browser window  
   University of Wisconsin, Madison - Set theory.
   http://www.math.wisc.edu/~kunen/
Lafont, Yves Open in a new browser window  
   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
Larson, Jean A. Open in a new browser window  
   University of Florida - Set theory, combinatorics.
   http://www.math.ufl.edu/~jal/
Lascar, Daniel Open in a new browser window  
   CNRS / University of Paris 7 - Model theory.
   http://www.logique.jussieu.fr/www.lascar/
Lempp, Steffen Open in a new browser window  
   University of Wisconsin, Madison - Computability, recursion theory.
   http://www.math.wisc.edu/~lempp/
Lessmann, Olivier Open in a new browser window  
   University of Illinois, Chicago - Model theory.
   http://www.math.uic.edu/~lessmann/
Luo, Zhaohui Open in a new browser window  
   Durham University, UK - Type theory, theoretical computer science and semantics of natural languages.
   http://www.dur.ac.uk/~dcs0zl/
Makowsky, Johann (Janos) A. Open in a new browser window  
   Technion, Israel - Logic in computer science, finite model theory.
   http://www.cs.technion.ac.il/~janos/index.html
Marcos, João Open in a new browser window  
   State University of Campinas, Brazil - Philosophical logic, paraconsistent, many-valued and modal logics.
   http://www.geocities.com/jm_logica/
Marker, David Open in a new browser window  
   University of Illinois, Chicago - Model theory.
   http://www.math.uic.edu/~marker/
Matiyasevich, Yuri Open in a new browser window  
   Steklov Institute, St. Petersburg - Algorithmical number theory.
   http://logic.pdmi.ras.ru/~yumat
McKenzie, Ralph Open in a new browser window  
   Vanderbildt University and UC Berkeley - Algebra, logic, combinatorics.
   http://www.math.vanderbilt.edu/~mckenzie/
Miller, Dale Open in a new browser window  
   Penn State University - Linear logic, proof search and declarative programming languages.
   http://www.cse.psu.edu/~dale/
Mitchell, William Open in a new browser window  
   University of Florida - Set theory.
   http://www.math.ufl.edu/~mitchell/
Monk, Donald Open in a new browser window  
   University of Colorado, Boulder - Boolean algebras.
   http://www.Colorado.EDU/math/courses/monkd/
Moreno, Javier Open in a new browser window  
   University of Illinois, Urbana-Champaign - Model theory and applications.
   http://www.math.uiuc.edu/~jamoreno
Moschovakis, Yiannis N. Open in a new browser window  
   UCLA - Set theory, recursion theory.
   http://www.math.ucla.edu/~ynm/
Nelson, Edward Open in a new browser window  
   Princeton University - Bounded arithmetic, automated proof verification (QED).
   http://www.math.princeton.edu/~nelson/index.html
Nerode, Anil Open in a new browser window  
   Cornell University - Computability theory, logic in computer science, history of logic.
   http://www.math.cornell.edu/~anil/
Nies, Andre Open in a new browser window  
   University of Chicago - Recursion theory.
   http://www.math.uchicago.edu/~nies/
Ong, C.-H. Luke Open in a new browser window  
   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
Paris, Jeff Open in a new browser window  
   University of Manchester - Mathematical Logic, in particular uncertain reasoning.
   http://www.maths.man.ac.uk/mirror/www/hpage/jbp.htm
Pedicini, Marco Open in a new browser window  
   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 Open in a new browser window  
   Carnegie Mellon University - Logic and programming languages, logical frameworks, type theory.
   http://www.cs.cmu.edu/~fp/
Pitts, Andrew Open in a new browser window  
   University of Cambridge - Categorical logic, type theory, semantics of programming languages and logic in computer science.
   http://www.cl.cam.ac.uk/~amp12/
Pratt, Vaughan Open in a new browser window  
   Stanford University - Linear logic, Chu spaces, foundations of mathematics, theoretical computer science and wearable computing.
   http://boole.stanford.edu/pratt.html
Prest, Mike Open in a new browser window  
   University of Manchester - Algebra and model theory.
   http://www.maths.man.ac.uk/~mprest/
Pym, David J. Open in a new browser window  
   Queen Mary and Westfield College - Semantics of programming languages, type theory, proof-search, logic programming, theorem proving.
   http://www.dcs.qmw.ac.uk/~pym/
Quigley, Peter Open in a new browser window  
   Manchester Metropolitan University - Computational logic, formal methods, formal specification, automated reasoning and proof planning.
   http://www.doc.mmu.ac.uk/STAFF/P.Quigley/
Rathjen, Michael Open in a new browser window  
   University of Leeds - Proof theory.
   http://www.amsta.leeds.ac.uk/Pure/staff/rathjen/rathjen.html
Regnier, Laurent Open in a new browser window  
   University of Marseilles - Linear logic, lambda calculus and abstract machine interpretations.
   http://iml.univ-mrs.fr/~regnier/
Restall, Greg Open in a new browser window  
   Macquarie University - Philosophy of logic, substructural logics.
   http://www.phil.mq.edu.au/staff/grestall/
Robinson, Edmund Open in a new browser window  
   Queen Mary and Westfield College - Categorical logic and the semantics of programming languages and type theories.
   http://www.dcs.qmw.ac.uk/~edmundr/
Scedrov, Andre Open in a new browser window  
   University of Pennsylvania - Logic in computer science, linear logic.
   http://www.cis.upenn.edu/~scedrov/
Schmidt, Renate Open in a new browser window  
   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 Open in a new browser window  
   Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation.
   http://www.cs.cmu.edu/~scott/
Vlad, Serban E. Open in a new browser window  
   Independent scholar, Bucharest - Asynchronous automata and binary valued mathematical analysis.
   http://site.voila.fr/serban_e_vlad/
Setzer, Anton Open in a new browser window  
   Uppsala University - proof theory (ordinal analysis), Martin-Löf type theory.
   http://www.math.uu.se/~setzer/
Shore, Richard A. Open in a new browser window  
   Cornell University - Recursion theory.
   http://www.math.cornell.edu/~shore/
Sieg, Wilfried Open in a new browser window  
   Carnegie Mellon University - Proof theory, philosophy of mathematics, history of 19th and 20th century logic and mathematics.
   http://www.hss.cmu.edu/departments/philosophy/people/directory/Wilfried_Sieg.html
Sipser, Michael