Emanuele De Angelis (assegnista)
Raffaele Dell’Aversana (dottorando)
Simone Di Nardo Di Maio (dottorando)
Marco Rubino (dottorando)
Linee di ricerca |
Referente |
---|---|
Metodi di verifica formale del software basati su trasformazioni di programmi logici con vincoli: La ricerca prevede l’impiego della programmazione logica con vincoli e della trasformazione di programmi per modellare, analizzare e verificare le proprietà del software e di altri sistemi a stati infiniti. |
Fabio Fioravanti |
Simulazione e modellazione di sistemi biologici mediante Statecharts: La ricerca prevede di utilizzare le Statecharts, linguaggio formale usato in ingegneria del software, per modellare e simulare sistemi biologici |
Fabio Fioravanti |
Valutazione economica del rischio di sicurezza di sistemi informatici: La ricerca prevede di utilizzare gli “alberi di difesa” per calcolare il ritorno dell'investimento in contromisure di sicurezza per sistemi informatici. |
Fabio Fioravanti |
Algoritmi di approssimazione per problemi di ottimizzazione: In questa area sono stati a affrontati problemi di ottimizzazione in sistemi distribuiti, come ad esempio reti di comunicazione wireless, reti di comunicazione ottiche, problemi di bilanciamento di carico, problemi di scheduling envy-free |
Luca Moscardelli |
Analisi e progettazione di sistemi non cooperativi: In questa linea di ricerca ci si focalizza sulla progettazione di sistemi non cooperativi efficienti e l'analisi dell'interazione di agenti egoistici in reti o più in generale in sistemi distribuiti, con particolare riferimento alla nozione di Equilibrio di Nash |
Luca Moscardelli |
Analisi di proprietà numeriche di programmi: Si studiano le metodologie per inferire, a tempo di compilazione, possibili relazioni tra le variabili numeriche di programmi. Si sviluppano tool per implementare le tecniche studiate teoricamente |
Gianluca Amato |
Analisi di proprietà di sharing: Si descrivono metodologie per l'analisi di proprietà di sharing per il paradigma ad oggetti e per programmi logici. Scopo dell'analisi è di individuare le relazioni tra variabili. |
Francesca Scozzari |
Metodi geometrici nell'interpretazione astratta: L'insieme dei polinomi che si annullano all'ingresso di un ciclo è un ideale. Questo fornisce un collegamento tra la geometria algebrica e l'interpretazione astratta, che si vuole studiare tramite l'uso di basi di Groebner. |
Gianluca Amato |
Teoria dell'interpretazione astratta: Si studiano metodologie per la progettazione di analisi e la soluzione di equazioni di punto fisso nell'ambito della teoria dell'interpretazione astratta |
Francesca Scozzari |
Linguaggi concorrenti e con vincoli: Potere espressivo dei linguaggi di programmazione. Sistemi di trasformazione dei programmi. Semantica composizionale di linguaggi concorrenti e per la risoluzione di vincoli |
Maria Chiara Meo |
Alberto Pettorossi (Università di Roma “Tor Vergata”)
Bilò V. (Università del Salento)
Caragiannis I. (Università di Patrasso, Grecia)
Cinzia Di Giusto (INRIA Rhône Alpes)
Enea Zaffanella (Università di Parma)
Fanelli A. (CNRS Caen, Francia)
Fanelli A. (CNRS Caen, Francia)
Flammini M. (Università dell’Aquila)
Francesco Santini (Centrum Wiskunde & Informatica (CWI) Amsterdam).
Giovanni Bazzoni (Università di Bielefeld, Germania)
Herbert Wiklicky (Imperial College London)
Iacopo Mauro (Department of Computer Science and Engineering/Lab. Focus INRIA)
Kaklamanis C. (Università di Patrasso, Grecia)
Marchetti-Spaccamela A. (Università di Roma “La Sapienza”)
Maurizio Gabbrielli (Department of Computer Science and Engineering/Lab. Focus INRIA)
Maurizio Proietti (IASI-CNR)
Melideo G. (Università dell’Aquila)
Monaco G. (Università dell’Aquila)
PaoloTacchella (Università di Bologna)
Shalom M. (Tel Hai, Bogazici University, Tel-Hai Academic College)
Stefano Bistarelli (Università di Perugia)
Zaks S. (Technion di Haifa, Israele)
PE6_3 Software engineering, operating systems, computer languages
PE6_4 Theoretical computer science, formal methods, and quantum computing
PE6_4 Theoretical computer science, formal methods, and quantum computing
PE6_5 Cryptology, security, privacy, quantum crypto
PE6_5 Cryptology, security, privacy, quantum crypto
PE6_12 Scientific computing, simulation and modelling tools
PE6_13 Bioinformatics, biocomputing, and DNA and molecular computation
LS2_10 Bioinformatics
LS2_13 Systems biology