|New! Submit a site
whatUseek Directory Site Listings:
Shelah, Saharon - Rutgers University and Hebrew University - includes paper archive.
Shore, Richard A. - Cornell University - recursion theory.
Shramko, Yaroslav - State Pedagogical University, Kryvyi Rih, Ukraine - Intuitionistic and relevant logics.
Sieg, Wilfried - Carnegie Mellon University - proof theory, philosophy of mathematics, history of 19th and 20th century logic and mathematics.
Sipser, Michael - MIT - complexity theory.
Slaman, Theodore A. - UC Berkeley - recursion theory
Soare, Robert I. - University of Chicago - recursion theory.
Solovay, Robert M. - UC Berkeley.
Statman, Richard - Carnegie Mellon University - theory of computation, lambda calculus, combinatory logic.
Stewart, Charles - Boston University - Programming language theory, optimal reductions, graph reduction, linear logic, semantics of logic, formulae-as-types correspondence, continuation semantics.
Thiel, Christian - University of Erlangen-Nürnberg - history of logic.
Vickers, Steven - Imperial College, London - Interested in Geometric logic, topos theory, quantales and semantics of programming languages.
Wansing, Heinrich - Institute of Logic and the Philosophy of Science, Leipzig - substructural and non-classical logics, modal logic, proof-theoretic semantics, philosophy of logic, philosophy of language.
Welch, Philip - University of Bristol - set theory, inner models, descriptive set theory.
White, Graham - Queen Mary and Westfield College, London - Philosophy and linear logic.
Wilkie, Alex - Oxford University - Models of arithmetic.
Wilmers, George - University of Manchester - Applications of mathematical logic in the foundations of uncertain reasoning; Natural prior probability distributions in uncertain reasoning.
Zach, Richard - UC Berkeley - philosophy of mathematics, history and philosophy of logic, theory of proofs, and non-classical logics.
Ziegler, Martin - University of Freiburg - model theory.
Zilber, Boris - University of Oxford - model theory.