People (Logic and Foundations)

People further on these related pages:

Students and Independent Scholars

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

People Sites:

Rathjen, Michael Rathjen, Michael: University of Leeds - Proof theory. (People) http://www.amsta.leeds.ac.uk/Pure/staff/rathjen/rathjen.html Monk, Donald Monk, Donald: University of Colorado, Boulder - Boolean algebras. (People) http://www.Colorado.EDU/math/courses/monkd/ Welch, Philip Welch, Philip: University of Bristol - Set theory, inner models, descriptive set theory. (People) http://www.maths.bris.ac.uk/~mapdw/ Beklemishev, Lev Beklemishev, Lev: Utrecht University and Steklov Mathematical Institute of Moscow - Proof theory, modal logics. (People) http://www.phil.uu.nl/~lev/ Jockusch, Carl G. Jockusch, Carl G.: University of Illinois, Urbana Champaign - Recursion theory. (People) http://www.math.uiuc.edu/~jockusch/ Marker, David Marker, David: University of Illinois, Chicago - Model theory. (People) http://www.math.uic.edu/~marker/ Mayberry, John Mayberry, John: University of Bristol. Foundations of mathematics. Publications, teaching material. (People) http://www.maths.bris.ac.uk/~majpm/ Restall, Greg Restall, Greg: Macquarie University - Philosophy of logic, substructural logics. (People) http://www.phil.mq.edu.au/staff/grestall/ Blass, Andreas R. Blass, Andreas R.: University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science. (People) http://www.math.lsa.umich.edu/~ablass/ Zach, Richard Zach, Richard: University of Calgary - Non-classical logics, proof theory, philosophy of mathematics, history and philosophy of logic. (People) http://www.ucalgary.ca/~rzach/ Font, Josep Maria Font, Josep Maria: University of Barcelona - Algebraic logic. (People) http://www.mat.ub.es/~font/ Miller, Dale Miller, Dale: Penn State University - Linear logic, proof search and declarative programming languages. (People) http://www.cse.psu.edu/~dale/ Nelson, Edward Nelson, Edward: Princeton University - Bounded arithmetic, automated proof verification (QED). (People) http://www.math.princeton.edu/~nelson/index.html Awodey, Steve Awodey, Steve: Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic. (People) http://www.andrew.cmu.edu/user/awodey/ Friedman, Sy D. Friedman, Sy D.: University of Vienna and MIT - Set theory. (People) http://www-math.mit.edu/~sdf/ Hähnle, Reiner Hähnle, Reiner: Chalmers University of Technology, Sweden - Tableau-based automated theorem proving, many-valued logic, formal verification. (People) http://www.cs.chalmers.se/~reiner/ Shramko, Yaroslav Shramko, Yaroslav: State Pedagogical University, Kryvyi Rih, Ukraine - Intuitionistic and relevant logics. (People) http://amor.rz.hu-berlin.de/~h0126kar/yaroslavshramkoengl.htm Ong, C.-H. Luke Ong, C.-H. Luke: Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality. (People) http://web.comlab.ox.ac.uk/oucl/people/luke.ong.html Razborov, Alexander Razborov, Alexander: Moscow Steklov Mathematical Institute - Boolean circuits. (People) http://genesis.mi.ras.ru/~razborov/ Regnier, Laurent Regnier, Laurent: University of Marseilles - Linear logic, lambda calculus and abstract machine interpretations. (People) http://iml.univ-mrs.fr/~regnier/ Wehmeier, Kai Wehmeier, Kai: UC Irvine - semantics and proof theory of intuitionistic arithmetic, logical analysis of modal discourse, the logic of Gottlob Frege. (People) http://members.cox.net/wehmeier/ Soare, Robert I. Soare, Robert I.: University of Chicago - Recursion theory. (People) http://www.cs.uchicago.edu/~soare/ Flum, Jörg Flum, Jörg: University of Freiburg - Finite model theory. (People) http://logik.mathematik.uni-freiburg.de/personen/Flum.html Solovay, Robert M. Solovay, Robert M.: University of California, Berkeley - Proof theory. (People) http://www.math.berkeley.edu/~solovay/ Statman, Richard Statman, Richard: Carnegie Mellon University - Theory of computation, lambda calculus, combinatory logic. (People) http://www.math.cmu.edu/people/fac/statman.html Feferman, Solomon Feferman, Solomon: Stanford University - Proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic. (People) http://math.Stanford.EDU/~feferman/ Pitts, Andrew Pitts, Andrew: University of Cambridge - Categorical logic, type theory, semantics of programming languages and logic in computer science. (People) http://www.cl.cam.ac.uk/~amp12/ Slaman, Theodore A. Slaman, Theodore A.: University of California, Berkeley - Recursion theory. (People) http://www.math.berkeley.edu/~slaman/ Parikh, Rohit Parikh, Rohit: Brooklyn College - Reasoning about knowledge, belief revision, game theory, philosophy of language. (People) http://www.sci.brooklyn.cuny.edu/cis/parikh/ Pym, David Pym, David: University of Bath, England - Proof theory, logic and computation. (People) http://www.bath.ac.uk/~cssdjp/ Luo, Zhaohui Luo, Zhaohui: Durham University, UK - Type theory, theoretical computer science and semantics of natural languages. (People) http://www.dur.ac.uk/~dcs0zl/ Gerla, Giangiacomo Gerla, Giangiacomo: University of Salerno, Italy - Fuzzy logic, percentage logic, pointless geometry. (People) http://www.dmi.unisa.it/people/gerla/www/ Scedrov, Andre Scedrov, Andre: University of Pennsylvania - Logic in computer science, linear logic. (People) http://www.cis.upenn.edu/~scedrov/ Junker, Markus Junker, Markus: University of Freiburg - Model theory. (People) http://sunpool.mathematik.uni-freiburg.de/home/junker/Junker-eng.html Hindley, J. R. Hindley, J. R.: University of Wales, Swansea - Lambda-calculus, combinatory logic and type-theory. (People) http://www-maths.swan.ac.uk:80/staff/jrh/ Ebbinghaus, Heinz-Dieter Ebbinghaus, Heinz-Dieter: University of Freiburg - Finite model theory. (People) http://logik.mathematik.uni-freiburg.de/personen/Ebbinghaus.html Mileti, Joe Mileti, Joe: University of Illinois at Urbana-Champaign - Computability theory. (People) http://www.math.uiuc.edu/~mileti/ Holmes, Randall Holmes, Randall: Boise State University - Set theory: New Foundations, automated theorem proving. (People) http://diamond.boisestate.edu/~holmes/ Foreman, Matthew Foreman, Matthew: UC Irvine - Set theory. (People) http://www.math.uci.edu/faculty/mforeman.html Wilmers, George Wilmers, George: University of Manchester - Applications of mathematical logic in the foundations of uncertain reasoning; natural prior probability distributions in uncertain reasoning. (People) http://www.maths.man.ac.uk/mirror/www/hpage/gmw.htm Maddy, Penelope Maddy, Penelope: University of California Irvine - Philosophy of logic and mathematics. (People) http://hypatia.ss.uci.edu/lps/home/fac-staff/faculty/maddy/ Lessmann, Olivier Lessmann, Olivier: University of Illinois, Chicago - Model theory. (People) http://www.math.uic.edu/~lessmann/ Carnielli, Walter A. Carnielli, Walter A.: State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics, paraconsistent logics, finite and infinite combinatorics. (People) http://www.unicamp.br/cle/carniell.htm Ziegler, Martin Ziegler, Martin: University of Freiburg - Model theory. (People) http://logik.mathematik.uni-freiburg.de/personen/Ziegler.html Howard, Paul Howard, Paul: Eastern Michigan University - Axiom of choice. (People) http://www.emunix.emich.edu/~phoward/ Wansing, Heinrich 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. (People) http://www.uni-leipzig.de/~logik/wansing/wansing.html Bartoszynski, Tomek Bartoszynski, Tomek: Boise State University - Set theory. (People) http://diamond.boisestate.edu/~tomek/ Cummings, James Cummings, James: Carnegie Mellon University - Set theory. (People) http://www.math.cmu.edu/users/jcumming/ Fitting, Melvin Fitting, Melvin: City University of New York - Logic in computer science, mathematics, philosophy. (People) http://comet.lehman.cuny.edu/fitting/ Larson, Jean A. Larson, Jean A.: University of Florida - Set theory, combinatorics. (People) http://www.math.ufl.edu/~jal/ Vickers, Steven Vickers, Steven: Imperial College, London - Geometric logic, topos theory, quantales and semantics of programming languages. (People) http://mcs.open.ac.uk/puremaths/pmd_department/pmd_vickers/pmd_vickers.html Zilber, Boris Zilber, Boris: University of Oxford - Model theory. (People) http://www.maths.ox.ac.uk/~zilber/ Burris, Stanley Burris, Stanley: University of Waterloo - Universal algebra, logic, computers. (People) http://www.thoralf.uwaterloo.ca/ Plotkin, Gordon 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 c (People) http://www.inf.ed.ac.uk/people/staff/Gordon_Plotkin.html Cholak, Peter Cholak, Peter: University of Notre Dame - Recursion theory. (People) http://www.science.nd.edu/math/faculty/cholak.shtml Lindell, Steven Lindell, Steven: Haverford College - Finite model theory, descriptive complexity. (People) http://www.haverford.edu/cmsc/slindell/ Artemov, Sergei Artemov, Sergei: City University of New York Graduate Center - Proof theory, logic of proofs. (People) http://www.cs.gc.cuny.edu/%7Esartemov/ Danos, Vincent Danos, Vincent: University of Paris 7 - Proof theory, linear logic. (People) http://www.logique.jussieu.fr/www.danos/ Schmidt, Renate Schmidt, Renate: University of Manchester - Modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation. (People) http://www.cs.man.ac.uk/~schmidt/ Scott, Dana Scott, Dana: Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation. (People) http://www.cs.cmu.edu/~scott/ Bouscaren, Elisabeth Bouscaren, Elisabeth: CNRS / University of Paris 7 - Model theory and algebraic geometry. (People) http://www.logique.jussieu.fr/www.elibou/ Etchemendy, John Etchemendy, John: Stanford University - Philosophical logic, semantics, and philosophy of language. (People) http://www-csli.stanford.edu/hp/etchemendy.html Aczel, Peter Aczel, Peter: University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic. (People) http://www.cs.man.ac.uk/~petera/ Sipser, Michael Sipser, Michael: MIT - Complexity theory. (People) http://www-math.mit.edu/~sipser/index.html Paris, Jeff Paris, Jeff: University of Manchester - Mathematical Logic, in particular uncertain reasoning. (People) http://www.maths.man.ac.uk/mirror/www/hpage/jbp.htm Marcos, João Marcos, João: State University of Campinas, Brazil - Philosophical logic, paraconsistent, many-valued and modal logics. (People) http://www.geocities.com/jm_logica/ Kechris, Alexander S. Kechris, Alexander S.: Caltech - Foundations of mathematics, mathematical logic and set theory, interactions with analysis. (People) http://www.math.caltech.edu/people/kechris.html Simpson, George Simpson, George: Penn State University - Fuondations of mathematics and logic. (People) http://www.math.psu.edu/simpson/ Rubin, Jean E. Rubin, Jean E.: Purdue University - Set theory, axiom of choice. (People) http://www.math.purdue.edu/~jer/ Hodges, Wilfrid Hodges, Wilfrid: University of London - Model theory. (People) http://www.maths.qmw.ac.uk/~wilfrid/ Taylor, Paul Taylor, Paul: Queen Mary and Westfield College, London - Foundations of Mathematics and Computation. (People) http://www.dcs.qmw.ac.uk/~pt/ Prest, Mike Prest, Mike: University of Manchester - Algebra and model theory. (People) http://www.maths.man.ac.uk/~mprest/ Makowsky, Johann (Janos) A. Makowsky, Johann (Janos) A.: Technion, Israel - Logic in computer science, finite model theory. (People) http://www.cs.technion.ac.il/~janos/index.html Baldwin, John T. Baldwin, John T.: University of Illinois, Chicago - Model theory (finite and infinite). (People) http://www.math.uic.edu/~jbaldwin/ Andrews, Peter B. Andrews, Peter B.: Carnegie Mellon University - Type theory, automated theorem proving. (People) http://gtps.math.cmu.edu/andrews.html Mitchell, William Mitchell, William: University of Florida - Set theory. (People) http://www.math.ufl.edu/~mitchell/ Kaiser, Klaus Kaiser, Klaus: University of Houston - Mathematical logic, universal algebra, lattice theory and logic programming. (People) http://math.uh.edu/~klaus/ Buss, Samuel R. Buss, Samuel R.: University of California, San Diego - Proof theory, computational complexity. (People) http://math.ucsd.edu/~sbuss/ Van Benthem, Johan Van Benthem, Johan: University of Amsterdam and Stanford University - Modal logic and a wide range of other areas in logic. (People) http://staff.science.uva.nl/~johan/ White, Graham White, Graham: Queen Mary and Westfield College, London - Philosophy and linear logic. (People) http://www.dcs.qmw.ac.uk/~graham/ Vlad, Serban E. Vlad, Serban E.: Independent scholar, Bucharest - Asynchronous automata and binary valued mathematical analysis. (People) http://site.voila.fr/serban_e_vlad/ Kunen, Kenneth Kunen, Kenneth: University of Wisconsin, Madison - Set theory. (People) http://www.math.wisc.edu/~kunen/ Quigley, Peter Quigley, Peter: Manchester Metropolitan University - Computational logic, formal methods, formal specification, automated reasoning and proof planning. (People) http://www.doc.mmu.ac.uk/STAFF/P.Quigley/ Moss, Lawrence Moss, Lawrence: Indiana University - Applied logic. (People) http://math.indiana.edu/home/moss/home.html Goldstern, Martin Goldstern, Martin: University of Technology, Vienna - Set theory. (People) http://info.tuwien.ac.at/goldstern/ Pfenning, Frank Pfenning, Frank: Carnegie Mellon University - Logic and programming languages, logical frameworks, type theory. (People) http://www.cs.cmu.edu/~fp/ Moschovakis, Yiannis N. Moschovakis, Yiannis N.: UCLA - Set theory, recursion theory. (People) http://www.math.ucla.edu/~ynm/ Hjorth, Greg Hjorth, Greg: UCLA - Descriptive set theory, countable models, definable equivalence relations. (People) http://www.math.ucla.edu/~greg/ Chaitin, Gregory J. Chaitin, Gregory J.: IBM Research - Algorithmic information theory. (People) http://www.cs.auckland.ac.nz/CDMTCS/chaitin/ Gehrke, Mai Gehrke, Mai: New Mexico State University - Nonstandard mathematics, operators on boolean algebras, fuzzy mathematics, universal algebra, general topology, posets and lattices. (People) http://www.math.nmsu.edu/mgehrke/mgehrke.html Insall, Matt Insall, Matt: University of Missouri, Rolla - Pure and applied logic, foundations, harmonic analysis, algebra, metric spaces. (People) http://www.umr.edu/~insall Pratt, Vaughan Pratt, Vaughan: Stanford University - Linear logic, Chu spaces, foundations of mathematics, theoretical computer science and wearable computing. (People) http://boole.stanford.edu/pratt.html Barendregt, Henk Barendregt, Henk: Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular. (People) http://www.cs.ru.nl/~henk/ Nerode, Anil Nerode, Anil: Cornell University - Computability theory, logic in computer science, history of logic. (People) http://www.math.cornell.edu/~anil/ Avigad, Jeremy Avigad, Jeremy: Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics. (People) http://www.andrew.cmu.edu/~avigad/ Stewart, Charles Stewart, Charles: Technische Universität Berlin, Theory and Formal Specifications group - Proof theoretic semantics, lambda calculus, linear logic, theoretical computer science, philosophy of language. (People) http://www.linearity.org/cas/ Carlstrom, Jesper Carlstrom, Jesper: Stockholm University - Constructive type theory and related mathematics. (People) http://www.math.su.se/~jesper/ Dosen, Kosta Dosen, Kosta: University of Belgrade - Proof theory, category theory. (People) http://www.mi.sanu.ac.yu/~kosta/ Chatzidakis, Zoé Chatzidakis, Zoé: CNRS/University of Paris 7 - Model theory. (People) http://www.logique.jussieu.fr/www.zoe/ Levesque, Hector Levesque, Hector: University of Toronto - Knowledge representation. (People) http://www.cs.toronto.edu/~hector/ Wilkie, Alex Wilkie, Alex: Oxford University - Models of arithmetic. (People) http://www.maths.ox.ac.uk/~wilkie/ Nies, Andre Nies, Andre: University of Chicago - Recursion theory. (People) http://www.math.uchicago.edu/~nies/ Sieg, Wilfried Sieg, Wilfried: Carnegie Mellon University - Proof theory, philosophy of mathematics, history of 19th and 20th century logic and mathematics. (People) http://www.hss.cmu.edu/departments/philosophy/people/directory/Wilfried_Sieg.html Darnière, Luck Darnière, Luck: University of Angers, France - Model theory. (People) http://math.univ-angers.fr/~darniere/home_uk.html Grossberg, Rami Grossberg, Rami: Carnegie Mellon University - Model theory. (People) http://www.math.cmu.edu/users/rami/ Ono, Hiroakira Ono, Hiroakira: Japan Advanced Institute of Science and Technology - Nonclassical logic, substructural logics, logic of knowledge and belief, cumulative reasoning. (People) http://www.jaist.ac.jp/is/labs/ono-ishihara-lab/members/ono.html Lascar, Daniel Lascar, Daniel: CNRS / University of Paris 7 - Model theory. (People) http://www.logique.jussieu.fr/www.lascar/ Robinson, Edmund Robinson, Edmund: Queen Mary and Westfield College - Categorical logic and the semantics of programming languages and type theories. (People) http://www.dcs.qmw.ac.uk/~edmundr/ Hustadt, Ullrich Hustadt, Ullrich: University of Liverpool - Resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic. (People) http://www.csc.liv.ac.uk/~ullrich/ Hyland, J. Martin E. Hyland, J. Martin E.: University of Cambridge - Categorical logic, game semantics and logic in computer science. (People) http://www.dpmms.cam.ac.uk/~martin/index.html Detlefsen, Michael Detlefsen, Michael: University of Notre Dame - Formal logic, philosophy of mathematics. (People) http://www.routledge.com/rep/repbiogs/detlefse.shtml Forster, T. E. Forster, T. E.: University of Cambridge - Set theory, type theory. (People) http://www.dpmms.cam.ac.uk/~tf/ Friedman, Harvey Friedman, Harvey: Ohio State University - Model theory, proof theory, intuitionism, recursion theory, set theory, complexity theory. (People) http://www.math.ohio-state.edu/foundations/ Lakemeyer, Gerhard Lakemeyer, Gerhard: Aachen University of Technology - Knowledge-based systems. (People) http://www-i5.informatik.rwth-aachen.de/gerhard/ Kastermans, Bart Kastermans, Bart: University of Michigan - Set theory. (People) http://www.kastermans.nl/bart/ Scott Weinstein Scott Weinstein: University of Pennsylvania - Finite model theory, learning theory. (People) http://www.cis.upenn.edu/~weinstein/home.html Pedicini, Marco Pedicini, Marco: Institute for Applied Calculus, Rome - Theoretical computer science, linear logic, geometry of interaction, optimal reductions. (People) http://www.iac.rm.cnr.it/~marco/html Lempp, Steffen Lempp, Steffen: University of Wisconsin, Madison - Computability, recursion theory. (People) http://www.math.wisc.edu/~lempp/ Shore, Richard A. Shore, Richard A.: Cornell University - Recursion theory. (People) http://www.math.cornell.edu/~shore/ Setzer, Anton Setzer, Anton: Uppsala University - proof theory (ordinal analysis), Martin-Löf type theory. (People) http://www.math.uu.se/~setzer/ Guglielmi, Alessio Guglielmi, Alessio: Technische Universitaet Dresden - Proof Theory. (People) http://alessio.guglielmi.name/ Matiyasevich, Yuri Matiyasevich, Yuri: Steklov Institute, St. Petersburg - Algorithmical number theory. (People) http://logic.pdmi.ras.ru/~yumat Enderton, Herbert B. Enderton, Herbert B.: UCLA - Recursion theory, definability theory. (People) http://www.math.ucla.edu/~hbe/ Van Dalen, Dirk Van Dalen, Dirk: Utrecht University - Historical aspects of logic, philosophy of mathematics. (People) http://www.phil.uu.nl/~dvdalen/ Pollett, Chris Pollett, Chris: San Jose State University - Logic, bounded arithemtic, computational complexity and quantum computation. (People) http://www.cs.sjsu.edu/faculty/pollett/ Pym, David J. Pym, David J.: Queen Mary and Westfield College - Semantics of programming languages, type theory, proof-search, logic programming, theorem proving. (People) http://www.dcs.qmw.ac.uk/~pym/ Buechler, Steven Buechler, Steven: University of Notre Dame - Model theory. (People) http://www.nd.edu/~steve/ Knight, Julia F. Knight, Julia F.: University of Notre Dame - Recursion theory. (People) http://www.science.nd.edu/math/faculty/knight.shtml McKenzie, Ralph McKenzie, Ralph: Vanderbildt University and UC Berkeley - Algebra, logic, combinatorics. (People) http://www.math.vanderbilt.edu/~mckenzie/ Herwig, Bernhard Herwig, Bernhard: University of Freiburg - Model theory. (People) http://sunpool.mathematik.uni-freiburg.de/home/herwig/ Lafont, Yves 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. (People) http://iml.univ-mrs.fr/~lafont/welcome.html Kaye, Richard Kaye, Richard: University of Birmingham - Model theory. (People) http://for.mat.bham.ac.uk/R.W.Kaye/ Leivant, Daniel Leivant, Daniel: Indiana University - Computational complexity. (People) http://www.cs.indiana.edu/~leivant/ Japaridze, Giorgi Japaridze, Giorgi: Villanova University - computability logic, game semantics, provability logic. (People) http://www.csc.villanova.edu/~japaridz/ Moreno, Javier Moreno, Javier: University of Illinois, Urbana-Champaign - Model theory and applications. (People) http://www.math.uiuc.edu/~jamoreno Jech, Thomas Jech, Thomas: Pennsylvania State University - Set theory. (People) http://www.math.psu.edu/jech/ Kanamori, Akihiro Kanamori, Akihiro: Boston University - Set theory. (People) http://math.bu.edu/people/aki/