Advanced separation of concerns

Software architecture

Formal verification tools

Reasoning and learning in complex systems

Software maintenance: techniques and tools

Model driven engineering

Bio-inspired computing

Entrepreneurship