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

Giacomo Albi
Professore associato (Dipartimento Informatica)
Alberto Belussi
Professore associato (Dipartimento Informatica)
Marco Caliari
Professore ordinario (Dipartimento Informatica)
Damiano Carra
Professore associato (Dipartimento Informatica)
Carlo Combi
Professore ordinario (Dipartimento Informatica)
Luca Di Persio
Professore associato (Dipartimento Informatica)
Zsuzsanna Liptak
Professore associato (Dipartimento Informatica)
Francesca Mantese
Professore associato (Dipartimento Informatica)
Sara Migliorini
Ricercatore a tempo determinato (Dipartimento Informatica)
Roberto Posenato
Professore associato (Dipartimento Informatica)
Davide Quaglia
Professore associato (Dipartimento Informatica)
Peter Michael Schuster
Professore ordinario (Dipartimento Informatica)
Lidia Angeleri
Professore ordinario (Dipartimento Informatica)
Nicola Bombieri
Professore ordinario (Dipartimento Ingegneria per la medicina di innovazione)
Giacomo Canevari
Professore associato (Dipartimento Informatica)
Francesca Collet
Professore associato (Dipartimento Informatica)
Paolo Dai Pra
Professore ordinario (Dipartimento Informatica)
Rosalba Giugno
Professore ordinario (Dipartimento Informatica)
Cecilia Mancini
Professore ordinario
Antonio Marigonda
Professore ordinario (Dipartimento Informatica)
Giandomenico Orlandi
Professore ordinario (Dipartimento Informatica)
Graziano Pravadelli
Professore ordinario (Dipartimento Ingegneria per la medicina di innovazione)
Nicola Sansonetto
Professore associato (Dipartimento Informatica)
Tiziano Villa
Professore onorario (Dipartimento Informatica)
Argomento Area di ricerca
Active learning Intelligenza Artificiale Machine learning
Agenti intelligenti Intelligenza Artificiale Distributed artificial intelligence
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
Apprendimento non supervisionato Intelligenza Artificiale Machine learning
Apprendimento supervisionato Intelligenza Artificiale Machine learning
Bioinformatica algoritmica Bioinformatica e informatica medica Life and medical sciences
Biologia Computazionale Sistemi informativi ed analisi dei dati Computational Biology
Blockchain e smart contracts Ingegneria del Software e Verifica Formale Software creation and management
BPMN per la sanità Sistemi informativi ed analisi dei dati Information systems applications
Categorie abeliane Algebra, Geometria e Logica Matematica Category theory; homological algebra
Categorie triangolate Algebra, Geometria e Logica Matematica Category theory; homological algebra
Data mining temporale Sistemi informativi ed analisi dei dati Data Mining
Deep learning Intelligenza Artificiale Machine learning
Equazioni alle derivate parziali di tipo ellittico Metodi e modelli matematici Elliptic equations and elliptic systems
Equazioni differenziali stocastiche alle derivate parziali e loro applicazioni Metodi e modelli matematici Stochastic analysis
Equazioni ellittiche e sistemi ellittici Metodi e modelli matematici Partial Differential Equations
Giochi a campo medio e applicazioni Metodi quantitativi per l’economia
Game theory, economics, social and behavioral sciences
Integratori esponenziali e approssimazione di funzioni di matrice Metodi e modelli matematici Numerical analysis
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
Metodi e modelli numerici per sistemi di particelle interagenti multi-scala Metodi e modelli matematici Numerical analysis
Modelli di apprendimento su dati spaziali Sistemi informativi ed analisi dei dati Information systems applications
Modelli Temporali basati su BPMN Sistemi informativi ed analisi dei dati Data management systems
Moduli, bimoduli e ideali Algebra, Geometria e Logica Matematica Associative rings and algebras
Previsioni stocastiche alimentati dai dati Sistemi informativi ed analisi dei dati Stochastic Differential Equations
Principi variazionali della fisica Metodi e modelli matematici Calculus of variations and optimal control; optimization
Problemi variazionali in un contesto di teoria geometrica della misura Metodi e modelli matematici Manifolds
Problem solving nel contesto dell’intelligenza artificiale Metodi e modelli matematici Stochastic analysis
Progettazione di sistemi embedded e IoT Sistemi Ciberfisici e IoT Sistemi fisici e ciberfisici
Purezza nella teoria di rapprentazioni Algebra, Geometria e Logica Matematica Associative rings and algebras
Ragionamento temporale 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
Sistemi Multiagente Intelligenza Artificiale Distributed artificial intelligence
Sistemi stocastici interagenti a molti gradi di libertà Metodi e modelli matematici Stochastic analysis
Soluzione numerica di equazioni differenziali alle derivate parziali Metodi e modelli matematici Numerical analysis
Teoria delle rappresentazioni di anelli e algebre Algebra, Geometria e Logica Matematica Associative rings and algebras
Teoria geometrica della misura e dell’integrazione, correnti integrali e normali in ottimizzazione Metodi e modelli matematici Manifolds
Teoria silting e tilting Algebra, Geometria e Logica Matematica Category theory; homological algebra
Trasporto ottimo Metodi e modelli matematici Manifolds
Verifica di sistemi embedded Sistemi Ciberfisici e IoT Sistemi fisici e ciberfisici
Condividi