Programming languagesResearch:
Data structures
Formal methods
Formal semantics of programming languages
Action Semantics
Compiler construction
Generations programs tools
Semantic directed compiler generation
4GL languages
Automatic compiler generation
Inteligent agents