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 (Dipartimento Informatica)
Alberto Belussi
Professore associato (Dipartimento Informatica)
Marco Caliari
Professore ordinario (Dipartimento Informatica)
Carlo Combi
Professore ordinario (Dipartimento Informatica)
Rosalba Giugno
Professore ordinario (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
Damiano Carra
Professore associato (Dipartimento Informatica)
Luca Di Persio
Professore associato (Dipartimento Informatica)
Cecilia Mancini
Professore ordinario (Dipartimento Scienze Economiche)
Antonio Marigonda
Professore associato (Dipartimento Informatica)
Giandomenico Orlandi
Professore ordinario (Dipartimento Informatica)
Graziano Pravadelli
Professore ordinario
Nicola Sansonetto
Professore associato (Dipartimento Informatica)
Tiziano Villa
Professore onorario (Dipartimento Informatica)
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 Sicurezza informatica Software creation and management
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
Information visualization of temporal data Visualization
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
Manifolds Metodi e modelli matematici Calculus of variations and optimal control; optimization
Manifolds Algebra, Geometria e Logica Matematica Calculus of variations and optimal control; optimization
Moduli, bimoduli e ideali Algebra, Geometria e Logica Matematica Associative rings and algebras
Progettazione di sistemi embedded e IoT Sistemi Ciberfisici e IoT
Sistemi fisici e ciberfisici
Representation theory of rings and algebras Algebra, Geometria e Logica Matematica Associative rings and algebras
Sistemi di raccomandazione Sistemi informativi ed analisi dei dati Information systems applications
Sistemi embedded di rete Sistemi Ciberfisici e IoT
Sistemi fisici e ciberfisici
Verifica di sistemi embedded Sistemi Ciberfisici e IoT
Sistemi fisici e ciberfisici
Condividi