Research groups-Dep.Department of Engineering for Innovation Medicine-University of Verona

Research groups

ForMe - Formal Methods for the Design of Engineering Systems

Members
Research interests

Tiziano Villa: Temporary Professor (Department Computer Science)
Paolo Fiorini: Studioso Senior
Romeo Rizzi: Full Professor (Department Computer Science)
Riccardo Muradore: Associate Professor

Luca Geretti: Temporary Assistant Professor (Department Computer Science)
Roberto Segala: Full Professor (Department Computer Science)
Davide Quaglia: Associate Professor (Department Computer Science)

Research interests
Topic	Research area
Computational agro-ecology	Bioinformatica e informatica medica Physical sciences and engineering
Combinatorial Algorithms and algorithmic graph theory	Algoritmi, Logica e teoria della computazione Computer science
Processing, sensing, and communication architectures	Architectures
Formal methods and theory of security	Sicurezza informatica Formal methods and theory of security
Discrete mathematics in relation to computer science	Algoritmi, Logica e teoria della computazione Computer science
Models for hybrid systems	Ingegneria del Software e Verifica Formale Models of computation
Concurrent stochastic models	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
Mathematical programming	Algoritmi, Logica e teoria della computazione Operations research, mathematical programming
Operations research	Bioinformatica e informatica medica Operations research
AI, Robotics & Automatic Control	Sistemi robotici e automazione Sistemi robotici e automazione
Neurosymbolic systems	Intelligenza Artificiale Computing methodologies
Neurosymbolic systems	Ingegneria del Software e Verifica Formale Computing methodologies
Graph Theory	Algoritmi, Logica e teoria della computazione Graph theory
Theory of computing	Algoritmi, Logica e teoria della computazione Computer science