Gruppi di ricerca

ForME - Metodi Formali per la Progettazione di Sistemi Ingegneristici

Componenti
Competenze

Tiziano Villa: Incaricato alla ricerca
Roberto Segala: Professore ordinario
Davide Quaglia: Professore associato
Matteo Zavatteri: Professore di altro ateneo (Dipartimento Ingegneria per la medicina di innovazione)
Viktor Teren: Dottorando

Luca Geretti: Assegnista
Romeo Rizzi: Professore ordinario
Riccardo Muradore: Professore associato (Dipartimento Ingegneria per la medicina di innovazione)
Stefano Centomo: Professore a contratto

Competenze
Argomento	Area di ricerca
Algoritmi CAD di base	Sistemi ciberfisici Electronic design automation
Algoritmi per problemi combinatorici e teoria dei grafi algoritmica	Matematica discreta e computazionale Computer science
Formal methods and theory of security	Ingegneria del Software e Sicurezza Formal methods and theory of security
Matematica Discreta entro l'Informatica	Matematica discreta e computazionale Computer science
Modelli per sistemi ibridi	Informatica teorica Models of computation
Modelli stocastici concorrenti	Informatica teorica Models of computation
Operations research and management science	Matematica discreta e computazionale Operations research, mathematical programming
Politopi e Poliedri	Matematica discreta e computazionale Polytopes and polyhedra
Probabilistic Analysis of Security	Ingegneria del Software e Sicurezza Formal methods and theory of security
Progettazione di sistemi embedded	Sistemi ciberfisici Embedded and cyber-physical systems
Progettazione e analisi algoritmi per grafi	Informatica teorica Design and analysis of algorithms
Programmazione Matematica	Matematica discreta e computazionale Operations research, mathematical programming
Ricerca Operativa	Bioinformatica e informatica medica Operations research
Robotica	Sistemi robotici e automazione Sistemi robotici e automazione
Sistemi di rete	Sistemi ciberfisici Network architectures
Sistemi embedded di rete	Sistemi ciberfisici Embedded and cyber-physical systems
Teoria dei Grafi	Matematica discreta e computazionale Graph theory
Teoria della computazione	Matematica discreta e computazionale Computer science
Verifica di sistemi embedded	Sistemi ciberfisici Hardware validation