---

People :: History

Aczel, Peter - University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.

Andrews, Peter B. - Carnegie Mellon University - Type theory, automated theorem proving.

Artemov, Sergei - City University of New York Graduate Center - Proof theory, logic of proofs.

Avigad, Jeremy - Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.

Awodey, Steve - Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.

Baldwin, John T. - University of Illinois, Chicago - Model theory (finite and infinite).

Barendregt, Henk - Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.

Bartoszynski, Tomek - Boise State University - Set theory.

Beklemishev, Lev - Utrecht University and Steklov Mathematical Institute of Moscow - Proof theory, modal logics.

Blass, Andreas R. - University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.

Bouscaren, Elisabeth - CNRS / University of Paris 7 - Model theory and algebraic geometry.

Buechler, Steven - University of Notre Dame - Model theory.

Burris, Stanley - University of Waterloo - Universal algebra, logic, computers.

Buss, Samuel R. - University of California, San Diego - Proof theory, computational complexity.

Carlstrom, Jesper - Stockholm University - Constructive type theory and related mathematics.
Meta Description: [ Här finner du allt du behöver veta om hur du kontaktar mig och vad jag gör. ]

Carnielli, Walter A. - State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics, paraconsistent logics, finite and infinite combinatorics.

Chaitin, Gregory J. - IBM Research - Algorithmic information theory.

Chatzidakis, Zoé - CNRS/University of Paris 7 - Model theory.

Cholak, Peter - University of Notre Dame - Recursion theory.
Meta Description: [ The University of Notre Dame is an independent, national Catholic university located at Notre Dame, Indiana, adjacent to the city of South Bend and approximately 90 miles southeast of Chicago. ]

Cummings, James - Carnegie Mellon University - Set theory.

Danos, Vincent - University of Paris 7 - Proof theory, linear logic.

Darnière, Luck - University of Angers, France - Model theory.
Meta Description: [ Luck DARNIèRE's homepage. Topics: Mathematical logic, french poetry, humour, PhD student's association ]

Detlefsen, Michael - University of Notre Dame - Formal logic, philosophy of mathematics.

Dosen, Kosta - University of Belgrade - Proof theory, category theory.

Ebbinghaus, Heinz-Dieter - University of Freiburg - Finite model theory.

Enderton, Herbert B. - UCLA - Recursion theory, definability theory.

Etchemendy, John - Stanford University - Philosophical logic, semantics, and philosophy of language.
Meta Description: [ Stanford Office of XXX. ]

Feferman, Solomon - Stanford University - Proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of modern logic.

Fitting, Melvin - City University of New York - Logic in computer science, mathematics, philosophy.

Flum, Jörg - University of Freiburg - Finite model theory.

404 Font, Josep Maria - University of Barcelona - Algebraic logic.

Foreman, Matthew - UC Irvine - Set theory.

Forster, T. E. - University of Cambridge - Set theory, type theory.

404 Friedman, Harvey - Ohio State University - Model theory, proof theory, intuitionism, recursion theory, set theory, complexity theory.

Friedman, Sy D. - University of Vienna - Set theory.

Gehrke, Mai - New Mexico State University - Nonstandard mathematics, operators on boolean algebras, fuzzy mathematics, universal algebra, general topology, posets and lattices.

Gerla, Giangiacomo - University of Salerno, Italy - Fuzzy logic, percentage logic, pointless geometry.
Meta Description: [ Fuzzy logic, approximate reasoning, point-free geometry, pointless geometry ]

Goldstern, Martin - University of Technology, Vienna - Set theory.
Meta Description: [ Martin Goldstern is a mathematician working at the Vienna University of Technology in Wien, Austria. This page contains information about his work -- teaching and research ]

Grossberg, Rami - Carnegie Mellon University - Model theory.

Guglielmi, Alessio - Technische Universitaet Dresden - Proof Theory.

Hähnle, Reiner - Chalmers University of Technology, Sweden - Tableau-based automated theorem proving, many-valued logic, formal verification.

Herwig, Bernhard - University of Freiburg - Model theory.

Hindley, J. R. - University of Wales, Swansea - Lambda-calculus, combinatory logic and type-theory.

Hjorth, Greg - UCLA - Descriptive set theory, countable models, definable equivalence relations.

Hodges, Wilfrid - University of London - Model theory.

Holmes, Randall - Boise State University - Set theory: New Foundations, automated theorem proving.

Howard, Paul - Eastern Michigan University - Axiom of choice.

Hustadt, Ullrich - University of Liverpool - Resolution-based and tableaux-based decision procedures for decidable fragments of first-order logic.
Meta Description: [ The home page of Ullrich Hustadt at the Department of Computer Science, University of Liverpool, UK. ]

Hyland, J. Martin E. - University of Cambridge - Categorical logic, game semantics and logic in computer science.

Insall, Matt - University of Missouri, Rolla - Pure and applied logic, foundations, harmonic analysis, algebra, metric spaces.

Japaridze, Giorgi - Villanova University - computability logic, game semantics, provability logic.

Jech, Thomas - Pennsylvania State University - Set theory.

Jockusch, Carl G. - University of Illinois, Urbana Champaign - Recursion theory.

Junker, Markus - University of Freiburg - Model theory.

Kaiser, Klaus - University of Houston - Mathematical logic, universal algebra, lattice theory and logic programming.

Kanamori, Akihiro - Boston University - Set theory.

Kastermans, Bart - University of Michigan - Set theory.

Kaye, Richard - University of Birmingham - Model theory.

Kechris, Alexander S. - Caltech - Foundations of mathematics, mathematical logic and set theory, interactions with analysis.

Knight, Julia F. - University of Notre Dame - Recursion theory.
Meta Description: [ The University of Notre Dame is an independent, national Catholic university located at Notre Dame, Indiana, adjacent to the city of South Bend and approximately 90 miles southeast of Chicago. ]

Kunen, Kenneth - University of Wisconsin, Madison - Set theory.

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.

Lakemeyer, Gerhard - Aachen University of Technology - Knowledge-based systems.

Larson, Jean A. - University of Florida - Set theory, combinatorics.

Lascar, Daniel - CNRS / University of Paris 7 - Model theory.

Leivant, Daniel - Indiana University - Computational complexity.

Lempp, Steffen - University of Wisconsin, Madison - Computability, recursion theory.

Lessmann, Olivier - University of Illinois, Chicago - Model theory.

Levesque, Hector - University of Toronto - Knowledge representation.

Lindell, Steven - Haverford College - Finite model theory, descriptive complexity.

Luo, Zhaohui - University of London, UK - Type theory, theoretical computer science and semantics of natural languages.

Maddy, Penelope - University of California Irvine - Philosophy of logic and mathematics.
Meta Description: [ Pen Maddy at the University of California - Irvine ]

Makowsky, Johann (Janos) A. - Technion, Israel - Logic in computer science, finite model theory.

Marker, David - University of Illinois, Chicago - Model theory.

Matiyasevich, Yuri - Steklov Institute, St. Petersburg - Algorithmical number theory.

404 Mayberry, John - University of Bristol. Foundations of mathematics. Publications, teaching material.

McKenzie, Ralph - Vanderbildt University and UC Berkeley - Algebra, logic, combinatorics.

404 Mileti, Joe - University of Illinois at Urbana-Champaign - Computability theory.

404 Miller, Dale - Penn State University - Linear logic, proof search and declarative programming languages.
Meta Description: [ Home page for Dale Miller ]

Mitchell, William - University of Florida - Set theory.

Monk, Donald - University of Colorado, Boulder - Boolean algebras.

Moreno, Javier - University of Illinois, Urbana-Champaign - Model theory and applications.

Moschovakis, Yiannis N. - UCLA - Set theory, recursion theory.

Moss, Lawrence - Indiana University - Applied logic.

Nelson, Edward - Princeton University - Bounded arithmetic, automated proof verification (QED).

Nerode, Anil - Cornell University - Computability theory, logic in computer science, history of logic.

Ong, C.-H. Luke - Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.

Ono, Hiroakira - Japan Advanced Institute of Science and Technology - Nonclassical logic, substructural logics, logic of knowledge and belief, cumulative reasoning.

Parikh, Rohit - Brooklyn College - Reasoning about knowledge, belief revision, game theory, philosophy of language.

404 Paris, Jeff - University of Manchester - Mathematical Logic, in particular uncertain reasoning.
Meta Description: [ School of Mathematics, The University of Manchester ]

404 Pedicini, Marco - Institute for Applied Calculus, Rome - Theoretical computer science, linear logic, geometry of interaction, optimal reductions.

Pfenning, Frank - Carnegie Mellon University - Logic and programming languages, logical frameworks, type theory.
Meta Description: [ Frank Pfenning Personal Home Page ]

Pitts, Andrew - University of Cambridge - Categorical logic, type theory, semantics of programming languages and logic in computer science.

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.

Pollett, Chris - San Jose State University - Logic, bounded arithemtic, computational complexity and quantum computation.
Meta Description: [ Chris Pollett Homepage contains information about his fields of research, his current and past teaching and administrative duties, as well as links to pictures, complexity sites and past places he's been. ]

500 Pratt, Vaughan - Stanford University - Linear logic, Chu spaces, foundations of mathematics, theoretical computer science and wearable computing.

Prest, Mike - University of Manchester - Algebra and model theory.

Pym, David J. - University of Bath, UK - Semantics of programming languages, type theory, proof-search, logic programming, theorem proving.

Quigley, Peter - Manchester Metropolitan University - Computational logic, formal methods, formal specification, automated reasoning and proof planning.

Rathjen, Michael - University of Leeds - Proof theory.

Razborov, Alexander - Moscow Steklov Mathematical Institute - Boolean circuits.

Regnier, Laurent - University of Marseilles - Linear logic, lambda calculus and abstract machine interpretations.

404 Restall, Greg - Macquarie University - Philosophy of logic, substructural logics.

Robinson, Edmund - Queen Mary and Westfield College - Categorical logic and the semantics of programming languages and type theories.

Rubin, Jean E. - Purdue University - Set theory, axiom of choice.

Scedrov, Andre - University of Pennsylvania - Logic in computer science, linear logic.

Schmidt, Renate - University of Manchester - Modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation.

404 Scott Weinstein - University of Pennsylvania - Finite model theory, learning theory.

Scott, Dana - Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation.

Setzer, Anton - Uppsala University - proof theory (ordinal analysis), Martin-Löf type theory.

Shore, Richard A. - Cornell University - Recursion theory.

Sieg, Wilfried - Carnegie Mellon University - Proof theory, philosophy of mathematics, history of 19th and 20th century logic and mathematics.

Simpson, George - Penn State University - Fuondations of mathematics and logic.

Sipser, Michael - MIT - Complexity theory.

Slaman, Theodore A. - University of California, Berkeley - Recursion theory.

Soare, Robert I. - University of Chicago - Recursion theory.

Solovay, Robert M. - University of California, Berkeley - Proof theory.

Statman, Richard - Carnegie Mellon University - Theory of computation, lambda calculus, combinatory logic.

500 Stewart, Charles - Technische Universität Berlin, Theory and Formal Specifications group - Proof theoretic semantics, lambda calculus, linear logic, theoretical computer science, philosophy of language.
Meta Description: [ Personal page of Charles Alexander Stewart, postdoctoral researcher in theoretical computer science. ]

Taylor, Paul - Queen Mary and Westfield College, London - Foundations of Mathematics and Computation.

Van Benthem, Johan - University of Amsterdam and Stanford University - Modal logic and a wide range of other areas in logic.

Van Dalen, Dirk - Utrecht University - Historical aspects of logic, philosophy of mathematics.

Vereshchagin, Nikolai - Moscow State University - Theory of computation, Intuitionistic logic

Vickers, Steven - University of Birmingham, UK - Geometric logic, topos theory, quantales and semantics of programming languages.

Vlad, Serban E. - Independent scholar, Bucharest - Asynchronous automata and binary valued mathematical analysis.

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.

Wehmeier, Kai - UC Irvine - semantics and proof theory of intuitionistic arithmetic, logical analysis of modal discourse, the logic of Gottlob Frege.

Welch, Philip - University of Bristol - Set theory, inner models, descriptive set theory.
Meta Description: [ Mathematical Logic Group @ the University of Bristol ]

White, Graham - Queen Mary and Westfield College, London - Philosophy and linear logic.

Wilkie, Alex - Oxford University - Models of arithmetic.

404 Wilmers, George - University of Manchester - Applications of mathematical logic in the foundations of uncertain reasoning; natural prior probability distributions in uncertain reasoning.
Meta Description: [ School of Mathematics, The University of Manchester ]

Zach, Richard - University of Calgary - Non-classical logics, proof theory, philosophy of mathematics, history and philosophy of logic.
Meta Description: [ Richard Zach is Associate Professor of Philosophy at the University of Calgary, Alberta, Canada. His interests include philosophy of mathematics, history and philosophy of logic, theory of proofs, and non-classical logics. ]

Ziegler, Martin - University of Freiburg - Model theory.

Zilber, Boris - University of Oxford - Model theory.