Research groups

  1. Home
  2. Research
  3. Research groups
  4. ForMe - Formal Methods for the Design of Engineering Systems

ForMe - Formal Methods for the Design of Engineering Systems

Tiziano Villa
Professore onorario
Roberto Segala
Full Professor
Davide Quaglia
Associate Professor
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)
Topic Research area
Basic CAD algorithms Electronic design automation
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
Formal methods and theory of security Ingegneria del Software e verifica formale
Formal methods and theory of security
Discrete mathematics in relation to computer science Algoritmi, Logica e teoria della computazione
Computer science
Modelli per sistemi ibridi Algebra, Geometria e Logica Matematica
Models of computation
Modelli per sistemi ibridi Algoritmi, Logica e teoria della computazione
Models of computation
Modelli per sistemi ibridi Ingegneria del Software e verifica formale
Models of computation
Modelli stocastici concorrenti Algebra, Geometria e Logica Matematica
Models of computation
Modelli stocastici concorrenti Algoritmi, Logica e teoria della computazione
Models of computation
Modelli stocastici concorrenti 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
Probabilistic Analysis of Security Ingegneria del Software e verifica formale
Formal methods and theory of security
Embedded system design Embedded and cyber-physical systems
Design and analysis of algorithms for graphs Algebra, Geometria e Logica Matematica
Design and analysis of algorithms
Design and analysis of algorithms for graphs Algoritmi, Logica e teoria della computazione
Design and analysis of algorithms
Design and analysis of algorithms for graphs Ingegneria del Software e verifica formale
Design and analysis of algorithms
Mathematical programming Algoritmi, Logica e teoria della computazione
Operations research, mathematical programming
Operations research Bioinformatica e informatica medica
Operations research
Operations research Algoritmi, Logica e teoria della computazione
Operations research
AI, Robotics & Automatic Control Sistemi robotici e automazione Sistemi robotici e automazione
Networking systems Network architectures
Networked embedded systems Embedded and cyber-physical systems
Graph Theory Algoritmi, Logica e teoria della computazione
Graph theory
Theory of computing Algoritmi, Logica e teoria della computazione
Computer science
Embedded system verification Hardware validation

Activities

Research areas

Research groups

PhD Programmes

Research facilities

Share