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