Gruppi di ricerca

ForME - Metodi Formali per la Progettazione di Sistemi Ingegneristici

Componenti
Competenze

Tiziano Villa: Professore a contratto
Paolo Fiorini: Studioso Senior (Dipartimento Ingegneria per la medicina di innovazione)
Romeo Rizzi: Professore ordinario
Riccardo Muradore: Professore associato (Dipartimento Ingegneria per la medicina di innovazione)

Luca Geretti: Ricercatore a tempo determinato
Roberto Segala: Professore ordinario
Davide Quaglia: Professore associato

Competenze
Argomento	Area di ricerca
Algoritmi per problemi combinatorici e teoria dei grafi algoritmica	Algoritmi, Logica e teoria della computazione Computer science
Formal methods and theory of security	Sicurezza informatica Formal methods and theory of security
Matematica Discreta entro l'Informatica	Algoritmi, Logica e teoria della computazione Computer science
Modelli per sistemi ibridi	Ingegneria del Software e Verifica Formale Models of computation
Modelli stocastici concorrenti	Ingegneria del Software e Verifica Formale Models of computation
Operations research and management science	Algoritmi, Logica e teoria della computazione Operations research, mathematical programming
Politopi e Poliedri	Algoritmi, Logica e teoria della computazione Polytopes and polyhedra
Probabilistic Analysis of Security	Sicurezza informatica Formal methods and theory of security
Programmazione Matematica	Algoritmi, Logica e teoria della computazione Operations research, mathematical programming
Ricerca Operativa	Bioinformatica e informatica medica Operations research
Robotica	Sistemi robotici e automazione Sistemi robotici e automazione
Teoria dei Grafi	Algoritmi, Logica e teoria della computazione Graph theory
Teoria della computazione	Algoritmi, Logica e teoria della computazione Computer science