Gruppi di ricerca

ForME - Metodi Formali per la Progettazione di Sistemi Ingegneristici

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)
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)
Stefano Centomo
Professore a contratto
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

Attività

Strutture

Condividi