Sites

Flum, Jörg (Popularity: )

University of Freiburg - Finite model theory.

Ziegler, Martin (Popularity: )

University of Freiburg - Model theory.

Hähnle, Reiner (Popularity: )

Chalmers University of Technology, Sweden - Tableau-based automated theorem proving, many-valued logic, formal verification.

Hodges, Wilfrid (Popularity: )

University of London - Model theory.

Andrews, Peter B. (Popularity: )

Carnegie Mellon University - Type theory, automated theorem proving.

Chatzidakis, Zoé (Popularity: )

CNRS/University of Paris 7 - Model theory.

Pedicini, Marco (Popularity: )

Institute for Applied Calculus, Rome - Theoretical computer science, linear logic, geometry of interaction, optimal ...

Herwig, Bernhard (Popularity: )

University of Freiburg - Model theory.

Etchemendy, John (Popularity: )

Stanford University - Philosophical logic, semantics, and philosophy of language.

Junker, Markus (Popularity: )

University of Freiburg - Model theory.

Pitts, Andrew (Popularity: )

University of Cambridge - Categorical logic, type theory, semantics of programming languages and logic in ...

Robinson, Edmund (Popularity: )

Queen Mary and Westfield College - Categorical logic and the semantics of programming languages and ...

Taylor, Paul (Popularity: )

Queen Mary and Westfield College, London - Foundations of Mathematics and Computation.

Jech, Thomas (Popularity: )

Pennsylvania State University - Set theory.

Matiyasevich, Yuri (Popularity: )

Steklov Institute, St. Petersburg - Algorithmical number theory.

Scedrov, Andre (Popularity: )

University of Pennsylvania - Logic in computer science, linear logic.

Lafont, Yves (Popularity: )

University of Marseille II - Linear logic, lambda calculus, proof theory, term rewriting. Lafont invented ...

Quigley, Peter (Popularity: )

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

Slaman, Theodore A. (Popularity: )

University of California, Berkeley - Recursion theory.

Van Benthem, Johan (Popularity: )

University of Amsterdam and Stanford University - Modal logic and a wide range of other ...