Michael Codish

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.


    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