Research groups

ForMe - Formal Methods for the Design of Engineering Systems

Members
Research interests

Tiziano Villa: Temporary Professor
Paolo Fiorini: Studioso Senior (Department Department of Engineering for Innovation Medicine)
Romeo Rizzi: Full Professor
Riccardo Muradore: Associate Professor (Department Department of Engineering for Innovation Medicine)

Luca Geretti: Temporary Assistant Professor
Roberto Segala: Full Professor
Davide Quaglia: Associate Professor

Research interests
Topic	Research area
Combinatorial Algorithms and algorithmic graph theory	Algoritmi, Logica e teoria della computazione Computer science
Formal methods and theory of security	Sicurezza informatica Formal methods and theory of security
Discrete mathematics in relation to computer science	Algoritmi, Logica e teoria della computazione Computer science
Models for hybrid systems	Ingegneria del Software e Verifica Formale Models of computation
Concurrent stochastic models	Ingegneria del Software e Verifica Formale Models of computation
Operations research and management science	Algoritmi, Logica e teoria della computazione Operations research, mathematical programming
Polytopes and Polihedra	Algoritmi, Logica e teoria della computazione Polytopes and polyhedra
Probabilistic Analysis of Security	Sicurezza informatica Formal methods and theory of security
Mathematical programming	Algoritmi, Logica e teoria della computazione Operations research, mathematical programming
Operations research	Bioinformatica e informatica medica Operations research
AI, Robotics & Automatic Control	Sistemi robotici e automazione Sistemi robotici e automazione
Graph Theory	Algoritmi, Logica e teoria della computazione Graph theory
Theory of computing	Algoritmi, Logica e teoria della computazione Computer science