Chaitin, Gregory J. (Popularity: )

IBM Research - Algorithmic information theory.

Gerla, Giangiacomo (Popularity: )

University of Salerno, Italy - Fuzzy logic, percentage logic, pointless geometry.

Ebbinghaus, Heinz-Dieter (Popularity: )

University of Freiburg - Finite model theory.

Beklemishev, Lev (Popularity: )

Utrecht University and Steklov Mathematical Institute of Moscow - Proof theory, modal logics.

Enderton, Herbert B. (Popularity: )

UCLA - Recursion theory, definability theory.

Feferman, Solomon (Popularity: )

Stanford University - Proof theory,theory of computation, foundations of mathematics, philosophy of mathematics, history of ...

Flannery, Ryan (Popularity: )

University of Cincinnati - satisfiability, first-order and temporal logic, computer science.

Lempp, Steffen (Popularity: )

University of Wisconsin, Madison - Computability, recursion theory.

Japaridze, Giorgi (Popularity: )

Villanova University - computability logic, game semantics, provability logic.

Wansing, Heinrich (Popularity: )

Institute of Logic and the Philosophy of Science, Leipzig - Substructural and non-classical logics, modal ...

Grossberg, Rami (Popularity: )

Carnegie Mellon University - Model theory.

Danos, Vincent (Popularity: )

University of Paris 7 - Proof theory, linear logic.

Hindley, J. R. (Popularity: )

University of Wales, Swansea - Lambda-calculus, combinatory logic and type-theory.

Regnier, Laurent (Popularity: )

University of Marseilles - Linear logic, lambda calculus and abstract machine interpretations.

Hjorth, Greg (Popularity: )

UCLA - Descriptive set theory, countable models, definable equivalence relations.

Rathjen, Michael (Popularity: )

University of Leeds - Proof theory.

Restall, Greg (Popularity: )

Macquarie University - Philosophy of logic, substructural logics.

Andrews, Peter B. (Popularity: )

Carnegie Mellon University - Type theory, automated theorem proving.

Barendregt, Henk (Popularity: )

Radboud University Nijmegen - Lambda calculus, type theory and formalising mathematical vernacular.

Hodges, Wilfrid (Popularity: )

University of London - Model theory.