Mathematical and Computational Logic 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.
- the "Logic, Set Theory and Topology" seminar
|Emeritus Prof Uri Abraham||
Set theory, mathematical logic, concurrency (in Computer Science)
|Dr Assaf Hasson||
Model theory and applications to algebra and geometry.
|Dr Moshe Kamensky||
Model theory (a branch of mathematical logic), and its interactions with other areas of mathematics, especially algebraic geometry, representation theory and differential equations. I also like algebraic geometry in general, as well as category theory and related subjects.
|Dr Arkady Leiderman||
Set theoretic topology, functional analysis, topological groups.
|Mr Nadav Meir||