• architecture of computational systems
• information theory
• software engineering
• cybernetics
• semantic of programming languages
• computational methodology
• formal languages
• program theory
• automata
• data theory
• formal grammars
• mathematical linguistics
• theory of algorithms
• web engineering
• bioinformatics