formal methods

Carlo Bellettini, Chiara Braghin, Lorenzo Capra, Walter Cazzola, Mattia Monga, Elvinia Maria Riccobene

software and service system assurance

Marco Anisetti, Claudio Agostino Ardagna, Valerio Bellandi, Stelvio Cimato, Ernesto Damiani, Gabriele Gianini

software and service system testing

Marco Anisetti, Claudio Agostino Ardagna, Valerio Bellandi, Paolo Ceravolo, Ernesto Damiani, Elvinia Maria Riccobene

software and service system performance

Valerio Bellandi, Paolo Ceravolo, Gabriele Gianini, Andrea Trentini

cloud and service certification

Marco Anisetti, Claudio Agostino Ardagna, Ernesto Damiani

model checking

Carlo Bellettini, Lorenzo Capra, Elvinia Maria Riccobene

unanticipated and dynamic software evolution

Lorenzo Capra, Walter Cazzola, Mattia Monga

computer games

Davide Gadia, Dario Maggiorini, Laura Anna Ripamonti

collaborative and social computing systems and tools

Valerio Bellandi, Paolo Ceravolo, Andrea Trentini

programming languages: design, evolution and implementation

Walter Cazzola, Alberto Momigliano