Gruppo di Informatica

Dipartimento di Economia

Chi siamo

image

Maria Chiara Meo
(coordinatrice)

   
image

Gianluca Amato

   
image

Fabio Fioravanti

   
image

Luca Moscardelli

   
image

Maurizio Parton

   
image

Francesca Scozzari

Assegnisti e dottorandi


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



Collaboratori

Settori ERC