Research groups

  1. Home
  2. Research
  3. Research groups
  4. INdAM - Research Unit at the University of Verona

INdAM - Research Unit at the University of Verona

We collect here the scientific activities of the Research Unit of Istituto Nazionale di Alta Matematica INdAM at the University of Verona
Contact people
Paolo Dai Pra

Giacomo Albi
Associate Professor
Alberto Belussi
Associate Professor
Marco Caliari
Full Professor
Damiano Carra
Associate Professor
Carlo Combi
Full Professor
Luca Di Persio
Associate Professor
Zsuzsanna Liptak
Associate Professor
Francesca Mantese
Associate Professor
Sara Migliorini
Temporary Assistant Professor
Roberto Posenato
Associate Professor
Davide Quaglia
Associate Professor
Peter Michael Schuster
Full Professor
Lidia Angeleri
Full Professor
Nicola Bombieri
Full Professor (Department Department of Engineering for Innovation Medicine)
Giacomo Canevari
Associate Professor
Francesca Collet
Associate Professor
Paolo Dai Pra
Full Professor
Rosalba Giugno
Full Professor
Cecilia Mancini
Full Professor (Department Economics)
Antonio Marigonda
Full Professor
Giandomenico Orlandi
Full Professor
Graziano Pravadelli
Full Professor (Department Department of Engineering for Innovation Medicine)
Nicola Sansonetto
Associate Professor
Tiziano Villa
Professore onorario
Topic Research area
Active learning Intelligenza Artificiale
Machine learning
Intelligent agents Intelligenza Artificiale
Distributed artificial intelligence
Homological algebra Algebra, Geometria e Logica Matematica
Category theory; homological algebra
Data intensive scalable computing Sistemi informativi ed analisi dei dati
Information systems applications
Rings and algebras arising under various constructions Algebra, Geometria e Logica Matematica
Associative rings and algebras
Unsupervised learning Intelligenza Artificiale
Machine learning
Supervised learning Intelligenza Artificiale
Machine learning
Algorithmic bioinformatics Bioinformatica e informatica medica
Life and medical sciences
Computational Biology Sistemi informativi ed analisi dei dati
Computational Biology
Blockchain and smart contracts Ingegneria del Software e Verifica Formale
Software creation and management
BPMN Systems in Medicine Sistemi informativi ed analisi dei dati
Information systems applications
Abelian categories Algebra, Geometria e Logica Matematica
Category theory; homological algebra
Triangulated categories Algebra, Geometria e Logica Matematica
Category theory; homological algebra
Temporal data mining Sistemi informativi ed analisi dei dati
Data Mining
Deep learning Intelligenza Artificiale
Machine learning
Partial differential equations of elliptic type Metodi e modelli matematici
Elliptic equations and elliptic systems
Geometric measure and integration theory, integral and normal currents in optimization Metodi e modelli matematici
Manifolds
JEL C02 - Mathematical Methods Mathematical and Quantitative Methods
JEL C12 - Hypothesis Testing: General Metodi quantitativi per l’economia Econometric and Statistical Methods and Methodology: General
JEL C13 - Estimation: General Metodi quantitativi per l’economia Econometric and Statistical Methods and Methodology: General
JEL C14 - Semiparametric and Nonparametric Methods: General Metodi quantitativi per l’economia Econometric and Statistical Methods and Methodology: General
JEL C51 - Model Construction and Estimation Metodi quantitativi per l’economia Econometric Modeling
JEL C52 - Model Evaluation, Validation, and Selection Metodi quantitativi per l’economia Econometric Modeling
JEL C58 - Financial Econometrics Metodi quantitativi per l’economia Econometric Modeling
JEL C61 - Optimization Techniques; Programming Models; Dynamic Analysis Metodi quantitativi per l’economia Mathematical Methods; Programming Models; Mathematical and Simulation Modeling
Large scale interacting random systems Metodi e modelli matematici
Stochastic analysis
Machine learning on spatial data Sistemi informativi ed analisi dei dati
Information systems applications
Temporal BPMN Models Sistemi informativi ed analisi dei dati
Data management systems
Modules, bimodules and ideals Algebra, Geometria e Logica Matematica
Associative rings and algebras
Optimal transportation theory Metodi e modelli matematici
Manifolds
Stochastic data-driven forecasting Sistemi informativi ed analisi dei dati
Stochastic Differential Equations
Variational problems in a geometric measure-theoretic setting Metodi e modelli matematici
Calculus of variations and optimal control; optimization
Progettazione di sistemi embedded e IoT Sistemi Ciberfisici e IoT Sistemi fisici e ciberfisici
Purity in representation theory Algebra, Geometria e Logica Matematica
Associative rings and algebras
Temporal reasoning Intelligenza Artificiale
Knowledge representation and reasoning
Sistemi di raccomandazione Sistemi informativi ed analisi dei dati
Information systems applications
Sistemi embedded di rete Sistemi Ciberfisici e IoT Sistemi fisici e ciberfisici
Multi agent systems Intelligenza Artificiale
Distributed artificial intelligence
Representation theory of algebras Algebra, Geometria e Logica Matematica
Associative rings and algebras
Silting and tilting theory Algebra, Geometria e Logica Matematica
Category theory; homological algebra
Optimal Transport Metodi e modelli matematici
Manifolds
Verifica di sistemi embedded Sistemi Ciberfisici e IoT Sistemi fisici e ciberfisici

Activities

Research facilities

Share