Software engineering

Software engineering
Component-based systems
Distributed and enterprise software technologies
Empirical software engineering
Modeling, formal verification and testing
Object-oriented design
Programming languages and compilers
Software analysis and quality assessment
Software maintenance and evolution

Academic Staff

Research Projects

PhD Theses

2012

2009