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 a contratto (Dipartimento Informatica)
Paolo Fiorini
Cultore della materia
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
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