RESEARCH:

- Logic Programming
Program Trasnformations
Semantics of programs
Intensional logic programming

- Deductive Databases
Query optimizations

- Mathematical Logic

- Formal Languages,  Grammars and Automata Theory

Slides from my talk in the Graduate Center of CUNY (March 2006)
 
 

Back to the main page...