Research groups

ForMe - Formal Methods for the Design of Engineering Systems

Tiziano Villa
Research Assistants (Department Computer Science)
Roberto Segala
Full Professor (Department Computer Science)
Davide Quaglia
Associate Professor (Department Computer Science)
Matteo Zavatteri
Professor from another university
Paolo Fiorini
Research Assistants
Romeo Rizzi
Full Professor (Department Computer Science)
Riccardo Muradore
Associate Professor
Stefano Centomo
Temporary Professor (Department Computer Science)
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
Share