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.