Michael Codish
mcodish@cs.bgu.ac.il



Research Interests

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.

Address

    Department of Computer Science
    Ben-Gurion University of the Negev
    PoB 653
    Beer-Sheva, Israel 84105

    Tel: (972-8) 6461-654
    FAX: (972-8) 6472-909
    FAX: (972-8) 6477-650