Uri Abraham
PhD: The Hebrew University at Jerusalem, 1979
Main Research Interests: set theory, forcing and preservation theorems.
In
computer science: concurrency, self stabilization.
E-mail: abraham@cs.bgu.ac.il
Michael Codish
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.
E-mail: mcodish@cs.bgu.ac.il
Mayer Goldberg
PhD: 1996, Indiana University, Bloomington, IN
Main research interests: lambda calculus, functional programming,
theory of programming languages, compilation and decompilation.
E-mail: gmayer@cs.bgu.ac.il
Arkady Leiderman
PhD: Institute of Mathematics, Novosibirsk, 1985.
Main Research Interests:
general topology, topological groups, locally convex spaces.
E-mail: arkady@math.bgu.ac.il
Menachem Kojman
PhD: The Hebrew University at Jerusalem, 1994
Main Research Interests:
set theory, pcf theory, general topology, combinatorics.
E-mail: kojman@math.bgu.ac.il
Mattatyahu Rubin
PhD: The Hebrew University at Jerusalem, 1976
Main Research Interests:
set theory, model theory, general topology, permutation groups.
E-mail: matti@math.bgu.ac.il
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.
Shelah's archive with most of Shelah's papers available in various formats.