Sites

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.

Darnière, Luck (Popularity: )

University of Angers, France - Model theory.

Kaiser, Klaus (Popularity: )

University of Houston - Mathematical logic, universal algebra, lattice theory and logic programming.

Lakemeyer, Gerhard (Popularity: )

Aachen University of Technology - Knowledge-based systems.

McKenzie, Ralph (Popularity: )

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

Moschovakis, Yiannis N. (Popularity: )

UCLA - Set theory, recursion theory.

Makowsky, Johann (Janos) A. (Popularity: )

Technion, Israel - Logic in computer science, finite model theory.

Pfenning, Frank (Popularity: )

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

Pym, David (Popularity: )

University of Bath, England - Proof theory, logic and computation.