Research groups

ForMe - Formal Methods for the Design of Engineering Systems

Members
Research interests

Tiziano Villa: Research Assistants (Department Computer Science)
Paolo Fiorini: Research Assistants
Romeo Rizzi: Full Professor (Department Computer Science)
Riccardo Muradore: Associate Professor
Stefano Centomo: Temporary Professor (Department Computer Science)

Luca Geretti: Research Scholarship Holders (Department Computer Science)
Roberto Segala: Full Professor (Department Computer Science)
Davide Quaglia: Associate Professor (Department Computer Science)
Matteo Zavatteri: Professor from another university
Viktor Teren: PhD student (Department Computer Science)

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