• Logic in Computer Science (temporal logic, modal logic, automata theory, game theory)
• Formal Methods (logical specification and verification of reactive systems, model checking, synthesis)
• Databases (temporal databases, spatial databases, spatiotemporal databases, XML databases)
• Artificial Intelligence (knowledge representation, planning, reasoning about action and change)