Logo Università degli Studi di Milano



 
 

Software Systems and Languages  

Research linePeople

 formal methods

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

 software and service system assurance

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

 software and service system testing

Marco AnisettiClaudio Agostino Ardagna, Paolo CeravoloErnesto DamianiElvinia Maria Riccobene

 software and service system performance

Paolo CeravoloGabriele Gianini, Andrea Trentini

 cloud and service certification

Marco Anisetti, Claudio Agostino Ardagna, Ernesto Damiani

 model checking

Carlo Bellettini, Lorenzo CapraElvinia 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

Paolo Ceravolo, Andrea Trentini

 programming languages: design, evolution and implementation

Walter Cazzola, Alberto Momigliano

Back to top