Logic and Foundations
- 83
- Nerode, Anil
- Cornell University - Computability theory, logic in computer science, history of logic.
- 84
- Ono, Hiroakira
- Japan Advanced Institute of Science and Technology - Nonclassical logic, substructural logics, logic of knowledge and belief, cumulative reasoning.
- 85
- Pfenning, Frank
- Carnegie Mellon University - Logic and programming languages, logical frameworks, type theory.
- 86
- Pitts, Andrew
- University of Cambridge - Categorical logic, type theory, semantics of programming languages and logic in computer science.
- 87
- Pollett, Chris
- San Jose State University - Logic, bounded arithmetic, computational complexity and quantum computation.
- 88
- Robinson, Edmund
- Queen Mary and Westfield College - Categorical logic and the semantics of programming languages and type theories.
- 91
- Schmidt, Renate
- University of Manchester - Modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation.
- 92
- Scott, Dana
- Carnegie Mellon University - Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation.
- 95
- Van Benthem, Johan
- University of Amsterdam and Stanford University - Modal logic and a wide range of other areas in logic.
- 97
- Vickers, Steven
- University of Birmingham, UK - Geometric logic, topos theory, quantales and semantics of programming languages.