/ Home / Web Directory / Science / Math / Logic and Foundations / People   (139)

Sub-Categories in People

Students and Independent Scholars (3)

Web Sites in Category People
Displaying: 51 – 100 (136 total)   << Previous Page | Next Page >>

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 - Durham University, 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.

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.

Nies, Andre - University of Chicago - Recursion theory.

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 - University of Bath, England - Proof theory, logic and computation.

Pym, David J. - Queen Mary and Westfield College - Semantics of programming languages, type theory, proof-search, logic programming, theorem proving.


Displaying: 51 – 100 (136 total)   << Previous Page | Next Page >>

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor