- Logic Programming
Program Trasnformations
Semantics of programs
Intensional logic programming
- Deductive Databases
Query optimizations
- Mathematical Logic
- Modal Logic
- Formal Languages, Grammars and Automata Theory
- Cryptography
- Community detection in graphs
Slides from my talk in the Graduate Center of CUNY (March 2006)