Gruppi di ricerca

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

Virginia Agostiniani
Ricercatore a tempo determinato
Lidia Angeleri
Professore ordinario
Nicola Bombieri
Professore associato
Marco Caliari
Professore associato
Carlo Combi
Professore ordinario
Rosalba Giugno
Professore associato
Antonio Marigonda
Ricercatore
Giuseppe Mazzuoccolo
Professore associato
Barbara Oliboni
Ricercatore
Roberto Posenato
Ricercatore
Davide Quaglia
Ricercatore
Peter Michael Schuster
Professore associato
Daniel Wessel
Assegnista
Giacomo Albi
Ricercatore a tempo determinato
Alberto Belussi
Professore associato
Vincenzo Bonnici
Professore a contratto
Damiano Carra
Ricercatore
Luca Di Persio
Ricercatore a tempo determinato
Francesca Mantese
Professore associato
Annalisa Massaccesi
Assegnista
Sara Migliorini
Professore a contratto
Giandomenico Orlandi
Professore ordinario
Graziano Pravadelli
Professore ordinario
Nicola Sansonetto
Ricercatore a tempo determinato
Tiziano Villa
Professore ordinario
Argomento Area di ricerca
Algebra omologica Matematica discreta e computazionale
Category theory; homological algebra
Analisi di grandi quantità di dati Sistemi informativi
Information systems applications
Analisi stocastica Matematica - applicazioni e modelli
Stochastic analysis
Anelli e algebre dati da varie construzioni Matematica discreta e computazionale
Associative rings and algebras
Approssimazione dell'esponenziale di matrice Matematica - applicazioni e modelli
Numerical analysis
Approssimazione numerica Matematica - applicazioni e modelli
Numerical analysis
Architetture avanzate e parallele Sistemi ciberfisici
Architectures
Basi di dati semistrutturate Sistemi informativi
Information systems applications
Bioinformatics and Natural Computing Bioinformatica e informatica medica
Life and medical sciences
Categorie abeliane Matematica discreta e computazionale
Category theory; homological algebra
Diagrammi di flusso per applicazioni geografiche Sistemi informativi
Information systems applications
Equazioni alle derivate parziali, problemi ai limiti e ai valori iniziali dipendenti dal tempo Matematica - applicazioni e modelli
Numerical analysis
Esecuzione ed ottimizzazione di interrogazioni spaziali Sistemi informativi
Information systems applications
Hamilton-Jacobi theories, including dynamic programming Matematica - applicazioni e modelli
Calculus of variations and optimal control; optimization
Il programma di Hilbert per la matematica astratta Matematica discreta e computazionale
Mathematical logic and foundations
Information visualization of temporal data Sistemi informativi
Visualization
Manifolds Matematica - applicazioni e modelli
Calculus of variations and optimal control; optimization
Modelli per granularità spazio-temporali Sistemi informativi
Data management systems
Modelli Temporali basati su Workflow Sistemi informativi
Data management systems
Moduli, bimoduli e ideali Matematica discreta e computazionale
Associative rings and algebras
Optimality conditions Matematica - applicazioni e modelli
Calculus of variations and optimal control; optimization
Politopi e Poliedri Matematica discreta e computazionale
Polytopes and polyhedra
Problemi variazionali e applicazioni in scienza dei materiali Matematica - applicazioni e modelli
Calculus of variations and optimal control; optimization
Progettazione concettuale di basi di dati spaziali Sistemi informativi
Information systems applications
Progettazione di sistemi embedded Sistemi ciberfisici
Embedded and cyber-physical systems
Progettazione e analisi algoritmi per grafi Informatica teorica
Design and analysis of algorithms
Proprietà geometriche di EDP Partial Differential Equations
Sistemi di rete Sistemi ciberfisici
Network architectures
Sistemi embedded di rete Sistemi ciberfisici
Embedded and cyber-physical systems
Sistemi informativi geografici & Infrastrutture per i dati spaziali Sistemi informativi
Information systems applications
Sistemi Informativi orientati ai processi Sistemi informativi
Information systems applications
Sistemi Informativi Sanitari Bioinformatica e informatica medica
Life and medical sciences
Systems Biology, Computational Network Biology Bioinformatica e informatica medica
Life and medical sciences
Teoria dei Grafi Matematica discreta e computazionale
Graph theory
Teoria della dimostrazione e matematica costruttiva Matematica discreta e computazionale
Mathematical logic and foundations
Workflow per la sanità Sistemi informativi
Information systems applications

Attività

Strutture