Gruppi di ricerca

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

Referenti
Paolo Dai Pra

Giacomo Albi
Professore associato
Alberto Belussi
Professore associato
Marco Caliari
Professore ordinario
Damiano Carra
Professore associato
Carlo Combi
Professore ordinario
Luca Di Persio
Professore associato
Zsuzsanna Liptak
Professore associato
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
Paolo Dai Pra
Professore ordinario
Rosalba Giugno
Professore ordinario
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
Algoritmi su stringhe Ingegneria del Software e verifica formale
Design and analysis of algorithms
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
Bioinformatica algoritmica Bioinformatica e informatica medica
Life and medical sciences
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
Equazioni alle derivate parziali di tipo ellittico Metodi e modelli matematici
Partial differential equations, initial value and time-dependent initial-boundary value problems
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
Large scale interacting random systems Metodi e modelli matematici
Stochastic analysis
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