Research groups

ForMe - Formal Methods for the Design of Engineering Systems

Tiziano Villa
Research Assistants
Roberto Segala
Full Professor
Davide Quaglia
Associate Professor
Matteo Zavatteri
Professor from another university (Department Department of Engineering for Innovation Medicine)
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
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

Activities

Research facilities

Share