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
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
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
Optimal transportation theory Metodi e modelli matematici Manifolds
Previsioni stocastiche alimentati dai dati Sistemi informativi ed analisi dei dati Stochastic Differential Equations
Problemi variazionali in un contesto di teoria geometrica della misura 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
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
Teoria delle rappresentazioni di anelli e algebre Algebra, Geometria e Logica Matematica Associative rings and algebras
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