Mathematical and Computational Logic Research Group

### BEN GURION UNIVERSITY OF THE NEGEV

### MATHEMATICS & COMPUTER SCIENCE DEPARTMENT

## Mathematical and Computational Logic Research Group

The mathematical and computational logic group at BGU conducts
research in set theory, model theory, general topology, Boolean
algebras and, in theoretical computer science, concurrency, logic
programming and lambda calculus.

**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

**Post Doctoral Fellows 2007-2008**

**Dr. Rafal Fillipow **

Main research interests: set theory and topology.

** Dr. Yoav Yaffe**

Main research interests: Model Theory.

## Some Links

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.