Michael Codish
mcodish@cs.bgu.ac.il

Research interests: development and application of formal techniques
to aid in the compilation and implementation of sequential and
concurrent logic programming languages as well as to analyse, optimise
and reason about such programs; these techniques are formal and
include primarily: partial evaluation, or more generally, program
specialisation; and abstract interpretation, or more generally,
semantic-based program analysis.