PhD: The Hebrew University at Jerusalem, 1979
Main Research Interests: set theory, forcing and preservation theorems.
In computer science: concurrency, self stabilization.
PhD: The Weizmann Institute of Science, 1991
Logic Programming - a programming paradigm based on the Horn subset of first order logic.
Abstract Interpretation - A formal Semantics based technique to reason about program properties and runtime behaviours.
Applications of Abstract Interpretation to Logic Programs.
PhD: 1996, Indiana University, Bloomington, IN
Main research interests: lambda calculus, functional programming, theory of programming languages, compilation and decompilation.
PhD: Institute of Mathematics, Novosibirsk, 1985.
Main Research Interests: general topology, topological groups, locally convex spaces.
PhD: The Hebrew University at Jerusalem, 1994
Main Research Interests: set theory, pcf theory, general topology, combinatorics.
PhD: The Hebrew University at Jerusalem, 1976
Main Research Interests: set theory, model theory, general topology, permutation groups.
Dr. Rafal Fillipow
Main research interests: set theory and topology.
Dr. Yoav Yaffe
Main research interests: Model Theory.
The home page of Jean Larson, in which she keeps an updated list of home pages in set theory and some other useful resources.
Logic Journals on the web.
Shelah's archive with most of Shelah's papers available in various formats.