Gruppi di ricerca

ForME - Metodi Formali per la Progettazione di Sistemi Ingegneristici

Tiziano Villa
Professore ordinario
Paolo Fiorini
Professore ordinario
Romeo Rizzi
Professore ordinario
Riccardo Muradore
Professore associato
Stefano Centomo
Professore a contratto
Luca Geretti
Ricercatore a tempo determinato
Roberto Segala
Professore ordinario
Davide Quaglia
Professore associato
Matteo Zavatteri
Professore a contratto
Viktor Teren
Dottorando
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 ciberfisici
Embedded and cyber-physical systems
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