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
Giacomo Albi
Associate Professor (Department Computer Science)
Alberto Belussi
Associate Professor (Department Computer Science)
Marco Caliari
Full Professor (Department Computer Science)
Damiano Carra
Associate Professor (Department Computer Science)
Carlo Combi
Full Professor (Department Computer Science)
Luca Di Persio
Associate Professor (Department Computer Science)
Zsuzsanna Liptak
Associate Professor (Department Computer Science)
Francesca Mantese
Associate Professor (Department Computer Science)
Sara Migliorini
Temporary Assistant Professor (Department Computer Science)
Roberto Posenato
Associate Professor (Department Computer Science)
Davide Quaglia
Associate Professor (Department Computer Science)
Peter Michael Schuster
Full Professor (Department Computer Science)
Lidia Angeleri
Full Professor (Department Computer Science)
Nicola Bombieri
Full Professor
Giacomo Canevari
Associate Professor (Department Computer Science)
Francesca Collet
Associate Professor (Department Computer Science)
Paolo Dai Pra
Full Professor (Department Computer Science)
Rosalba Giugno
Full Professor (Department Computer Science)
Cecilia Mancini
Full Professor (Department Economics)
Antonio Marigonda
Full Professor (Department Computer Science)
Giandomenico Orlandi
Full Professor (Department Computer Science)
Graziano Pravadelli
Full Professor
Nicola Sansonetto
Associate Professor (Department Computer Science)
Tiziano Villa
Professore onorario (Department Computer Science)
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
Share