Moreno, Javier
University of Illinois, Urbana-Champaign - Model theory and applications.
Nelson, Edward
Princeton University - Bounded arithmetic, automated proof verification (QED).
Ong, C.-H. Luke
Merton College, Oxford - Categorical logic, game semantics, type theory, lambda calculus, semantics of programming languages, and sequentiality.
Parikh, Rohit
Brooklyn College - Reasoning about knowledge, belief revision, game theory, philosophy of language.
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…
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.
Regnier, Laurent
University of Marseilles - Linear logic, lambda calculus and abstract machine interpretations.
Schmidt, Renate
University of Manchester - Modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation.
Scott, Dana
Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation.
Van Benthem, Johan
University of Amsterdam and Stanford University - Modal logic and a wide range of other areas in logic.
Vickers, Steven
University of Birmingham, UK - Geometric logic, topos theory, quantales and semantics of programming languages.
Showing 41–60 of 62 results