Kechris, Alexander S. (Popularity: )

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

Lakemeyer, Gerhard (Popularity: )

Aachen University of Technology - Knowledge-based systems.

Levesque, Hector (Popularity: )

University of Toronto - Knowledge representation.

McKenzie, Ralph (Popularity: )

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

Monk, Donald (Popularity: )

University of Colorado, Boulder - Boolean algebras.

Moschovakis, Yiannis N. (Popularity: )

UCLA - Set theory, recursion theory.

Nelson, Edward (Popularity: )

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

Parikh, Rohit (Popularity: )

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

Pfenning, Frank (Popularity: )

Carnegie Mellon University - Logic and programming languages, logical frameworks, type theory.

Plotkin, Gordon (Popularity: )

Institute for Communicating and Collaborative Systems, UK - denotational and operational semantics of programming languages, ...

Pollett, Chris (Popularity: )

San Jose State University - Logic, bounded arithemtic, computational complexity and quantum computation.

Prest, Mike (Popularity: )

University of Manchester - Algebra and model theory.

Scott, Dana (Popularity: )

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

White, Graham (Popularity: )

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

Fitting, Melvin (Popularity: )

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

Nerode, Anil (Popularity: )

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

Quigley, Peter (Popularity: )

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

Setzer, Anton (Popularity: )

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

Mitchell, William (Popularity: )

University of Florida - Set theory.