WebInfoSearch Web Directory
WebInfoSearch Web Directory
| 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. | |
| 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. | |
| 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. | |
| 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. | |
| 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. | |
| Font, Josep Maria: University of Barcelona - Algebraic logic. | |
| Foreman, Matthew: UC Irvine - Set theory. | |
| Forster, T. E.: University of Cambridge - Set theory, type theory. | |
| 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. | |
| Goldstern, Martin: University of Technology, Vienna - Set theory. | |
| Grossberg, Rami: Carnegie Mellon University - Model theory. | |
| Guglielmi, Alessio: Technische Universitaet Dresden - Proof Theory. | |
| 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. | |
| Hyland, J. Martin E.: University of Cambridge - Categorical logic, game semantics and logic in computer science. | |
| Hähnle, Reiner: Chalmers University of Technology, Sweden - Tableau-based automated theorem proving, many-valued logic, formal verification. | |
| 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. | |
| 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. | |
| Makowsky, Johann (Janos) A.: Technion, Israel - Logic in computer science, finite model theory. | |
| Marcos, João: State University of Campinas, Brazil - Philosophical logic, paraconsistent, many-valued and modal logics. | |
| Marker, David: University of Illinois, Chicago - Model theory. | |
| Matiyasevich, Yuri: Steklov Institute, St. Petersburg - Algorithmical number theory. | |
| Mayberry, John: University of Bristol. Foundations of mathematics. Publications, teaching material. | |
| McKenzie, Ralph: Vanderbildt University and UC Berkeley - Algebra, logic, combinatorics. | |
| Mileti, Joe: University of Illinois at Urbana-Champaign - Computability theory. | |
| Miller, Dale: Penn State University - Linear logic, proof search and declarative programming languages. | |
| 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. | |
| Paris, Jeff: University of Manchester - Mathematical Logic, in particular uncertain reasoning. | |
| 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. | |
| 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. | |
| 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. | |
| 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. | |
| 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. | |
| Stewart, Charles: Technische Universität Berlin, Theory and Formal Specifications group - Proof theoretic semantics, lambda calculus, linear logic, theoretical computer science, philosophy of language. | |
| 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. | |
| 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. | |
| White, Graham: Queen Mary and Westfield College, London - Philosophy and linear logic. | |
| Wilkie, Alex: Oxford University - Models of arithmetic. | |
| Wilmers, George: University of Manchester - Applications of mathematical logic in the foundations of uncertain reasoning; natural prior probability distributions in uncertain reasoning. | |
| Zach, Richard: University of Calgary - Non-classical logics, proof theory, philosophy of mathematics, history and philosophy of logic. | |
| Ziegler, Martin: University of Freiburg - Model theory. | |
| Zilber, Boris: University of Oxford - Model theory. |
|
