Gruppi di ricerca-Dip.Informatica-Università degli Studi di Verona

ForME - Metodi Formali per la Progettazione di Sistemi Ingegneristici

Tiziano Villa: Professore onorario
Paolo Fiorini: Incaricato alla ricerca (Dipartimento Ingegneria per la medicina di innovazione)
Romeo Rizzi: Professore ordinario
Riccardo Muradore: Professore associato (Dipartimento Ingegneria per la medicina di innovazione)

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
Progettazione e analisi algoritmi per grafi	Ingegneria del Software e verifica formale Design and analysis of algorithms
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