Areas: detail

Formal Methods in Computing

Formal Methods in Computing

Coordinator/s: Mariangiola Dezani  

Staff:
Stefano Berardi  
Lorenzo Bettini  
Viviana Bono  
Sara Capecchi  
Felice Cardone  
Tzu Chun Chen  
Mario Coppo  
Ferruccio Damiani  
Ugo De' Liguoro  
Mariangiola Dezani  
Elio Giovannetti  
Ines Maria Margaria  
Luca Padovani  
Luca Luigi Paolini  
Simonetta Ronchi Della Rocca  
Luca Roversi  
Angelo Troina  
Maddalena Zacchi  

Attivita'

L'attivita' di ricerca di questo gruppo si basa sullo sviluppo di strumenti formali per descrivere modelli di computazione, linguaggi di programmazione, programmi, servizi e sistemi complessi (es. biologici e finanziari). Tali strumenti vengono utilizzati anche per la verifica di proprieta' quali la sicurezza e il controllo di accesso alle risorse e per lo sviluppo  di nuovi linguaggi e principi di programmazione.

Sub Areas:
Control of Resource Usage
Logical Foundations of Programming Languages
Security in Web Based Programming
Software Organisation and Reuse
System Models