Gruppi di ricerca

  1. Home
  2. Ricerca
  3. Gruppi di ricerca
  4. INdAM - Unità di Ricerca dell'Università di Verona

INdAM - Unità di Ricerca dell'Università di Verona

Raccogliamo qui le attività scientifiche dell'Unità di Ricerca dell'Istituto Nazionale di alta Matematica INdAM presso l'Università di Verona

Giacomo Albi
Professore associato
Alberto Belussi
Professore associato
Marco Caliari
Professore ordinario
Damiano Carra
Professore associato
Carlo Combi
Professore ordinario
Rosalba Giugno
Professore ordinario
Francesca Mantese
Professore associato
Sara Migliorini
Ricercatore a tempo determinato
Roberto Posenato
Professore associato
Davide Quaglia
Professore associato
Peter Michael Schuster
Professore ordinario
Lidia Angeleri
Professore ordinario
Nicola Bombieri
Professore ordinario (Dipartimento Ingegneria per la medicina di innovazione)
Giacomo Canevari
Professore associato
Francesca Collet
Ricercatore a tempo determinato
Luca Di Persio
Professore associato
Cecilia Mancini
Professore ordinario (Dipartimento Scienze Economiche)
Antonio Marigonda
Professore ordinario
Giandomenico Orlandi
Professore ordinario
Graziano Pravadelli
Professore ordinario (Dipartimento Ingegneria per la medicina di innovazione)
Nicola Sansonetto
Professore associato
Tiziano Villa
Professore onorario
Argomento Area di ricerca
Algebra omologica Algebra, Geometria e Logica Matematica
Category theory; homological algebra
Analisi di grandi quantità di dati Sistemi informativi ed analisi dei dati
Information systems applications
Anelli e algebre dati da varie construzioni Algebra, Geometria e Logica Matematica
Associative rings and algebras
Blockchain and smart contracts Ingegneria del Software e verifica formale
Software creation and management
Categorie abeliane Algebra, Geometria e Logica Matematica
Category theory; homological algebra
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 - Test delle ipotesi: generale Metodi quantitativi per l’economia Econometric and Statistical Methods and Methodology: General
JEL C13 - Stime statistiche: generale 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 - Econometria finanziaria Metodi quantitativi per l’economia Econometric Modeling
JEL C61 - Metodi di ottimizzazione; Modelli di programmazione matematica; Analisi dinamica Metodi quantitativi per l’economia Mathematical Methods; Programming Models; Mathematical and Simulation Modeling
Moduli, bimoduli e ideali Algebra, Geometria e Logica Matematica
Associative rings and algebras
Optimal transportation theory Metodi e modelli matematici
Manifolds
Progettazione di sistemi embedded e IoT Sistemi Ciberfisici e IoT Sistemi fisici e ciberfisici
Sistemi di raccomandazione Sistemi informativi ed analisi dei dati
Information systems applications
Sistemi embedded di rete Sistemi Ciberfisici e IoT Sistemi fisici e ciberfisici
Teoria delle rappresentazioni di anelli e algebre Algebra, Geometria e Logica Matematica
Associative rings and algebras
Trasporto ottimo Metodi e modelli matematici
Manifolds
Variational problems in a geometric measure-theoretic setting Metodi e modelli matematici
Calculus of variations and optimal control; optimization
Verifica di sistemi embedded Sistemi Ciberfisici e IoT Sistemi fisici e ciberfisici

Attività

Strutture

Condividi