Si occupa di modellazione, analisi e sviluppo di sistemi "process-based" e "service-based" promuovendo l'impiego di metodi formali quali strumenti metodologici e automatici per la progettazione e sviluppo di software di qualità.