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, formulaeastypes correspondence, continuation semantics.
Thiel, Christian  University of ErlangenNü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 nonclassical logics, modal logic, prooftheoretic 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 nonclassical logics.
Ziegler, Martin  University of Freiburg  model theory.
Zilber, Boris  University of Oxford  model theory.
