Gruppi di ricerca

  1. Home
  2. Ricerca
  3. Gruppi di ricerca
  4. ForME - Metodi Formali per la Progettazione di Sistemi Ingegneristici

ForME - Metodi Formali per la Progettazione di Sistemi Ingegneristici

Tiziano Villa
Professore onorario
Roberto Segala
Professore ordinario
Davide Quaglia
Professore associato
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)
Argomento Area di ricerca
Algoritmi CAD di base Electronic design automation
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
Formal methods and theory of security Ingegneria del Software e verifica formale
Formal methods and theory of security
Matematica Discreta entro l'Informatica Algoritmi, Logica e teoria della computazione
Computer science
Modelli per sistemi ibridi Algebra, Geometria e Logica Matematica
Models of computation
Modelli per sistemi ibridi Algoritmi, Logica e teoria della computazione
Models of computation
Modelli per sistemi ibridi Ingegneria del Software e verifica formale
Models of computation
Modelli stocastici concorrenti Algebra, Geometria e Logica Matematica
Models of computation
Modelli stocastici concorrenti Algoritmi, Logica e teoria della computazione
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
Probabilistic Analysis of Security Ingegneria del Software e verifica formale
Formal methods and theory of security
Progettazione di sistemi embedded Embedded and cyber-physical systems
Progettazione e analisi algoritmi per grafi Algebra, Geometria e Logica Matematica
Design and analysis of algorithms
Progettazione e analisi algoritmi per grafi Algoritmi, Logica e teoria della computazione
Design and analysis of algorithms
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
Ricerca Operativa Algoritmi, Logica e teoria della computazione
Operations research
Robotica Sistemi robotici e automazione Sistemi robotici e automazione
Sistemi di rete Network architectures
Sistemi embedded di rete Embedded and cyber-physical systems
Teoria dei Grafi Algoritmi, Logica e teoria della computazione
Graph theory
Teoria della computazione Algoritmi, Logica e teoria della computazione
Computer science
Verifica di sistemi embedded Hardware validation

Attività

Aree di ricerca

Gruppi di ricerca

Dottorati di Ricerca

Strutture

Condividi