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 (Dipartimento Informatica)
Paolo Fiorini
Incaricato alla ricerca
Romeo Rizzi
Professore ordinario (Dipartimento Informatica)
Riccardo Muradore
Professore associato
Luca Geretti
Ricercatore a tempo determinato (Dipartimento Informatica)
Roberto Segala
Professore ordinario (Dipartimento Informatica)
Davide Quaglia
Professore associato (Dipartimento Informatica)
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
Condividi