Research groups

ForMe - Formal Methods for the Design of Engineering Systems

Members
Research interests

Tiziano Villa: Research Assistants
Paolo Fiorini: Research Assistants (Department Department of Engineering for Innovation Medicine)
Romeo Rizzi: Full Professor
Riccardo Muradore: Associate Professor (Department Department of Engineering for Innovation Medicine)
Stefano Centomo: Temporary Professor

Luca Geretti: Research Scholarship Holders
Roberto Segala: Full Professor
Davide Quaglia: Associate Professor
Matteo Zavatteri: Professor from another university (Department Department of Engineering for Innovation Medicine)
Viktor Teren: PhD student

Research interests
Topic	Research area
Basic CAD algorithms	Sistemi ciberfisici Electronic design automation
Combinatorial Algorithms and algorithmic graph theory	Matematica discreta e computazionale Computer science
Formal methods and theory of security	Ingegneria del Software e Sicurezza Formal methods and theory of security
Discrete mathematics in relation to computer science	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
Polytopes and Polihedra	Matematica discreta e computazionale Polytopes and polyhedra
Probabilistic Analysis of Security	Ingegneria del Software e Sicurezza Formal methods and theory of security
Embedded system design	Sistemi ciberfisici Embedded and cyber-physical systems
Design and analysis of algorithms for graphs	Informatica teorica Design and analysis of algorithms
Mathematical programming	Matematica discreta e computazionale Operations research, mathematical programming
Operations research	Bioinformatica e informatica medica Operations research
AI, Robotics & Automatic Control	Sistemi robotici e automazione Sistemi robotici e automazione
Networking systems	Sistemi ciberfisici Network architectures
Networked embedded systems	Sistemi ciberfisici Embedded and cyber-physical systems
Graph Theory	Matematica discreta e computazionale Graph theory
Theory of computing	Matematica discreta e computazionale Computer science
Embedded system verification	Sistemi ciberfisici Hardware validation