Research groups-Dep.Computer Science-University of Verona

Research groups

INdAM - Research Unit at the University of Verona

We collect here the scientific activities of the Research Unit of Istituto Nazionale di Alta Matematica INdAM at the University of Verona

Contact people: Paolo Dai Pra

Giacomo Albi: Associate Professor
Alberto Belussi: Associate Professor
Marco Caliari: Full Professor
Damiano Carra: Associate Professor
Carlo Combi: Full Professor
Luca Di Persio: Associate Professor
Zsuzsanna Liptak: Associate Professor
Francesca Mantese: Associate Professor
Sara Migliorini: Temporary Assistant Professor
Roberto Posenato: Associate Professor
Davide Quaglia: Associate Professor
Peter Michael Schuster: Full Professor

Lidia Angeleri: Full Professor
Nicola Bombieri: Full Professor (Department Department of Engineering for Innovation Medicine)
Giacomo Canevari: Associate Professor
Francesca Collet: Temporary Assistant Professor
Paolo Dai Pra: Full Professor
Rosalba Giugno: Full Professor
Cecilia Mancini: Full Professor (Department Economics)
Antonio Marigonda: Full Professor
Giandomenico Orlandi: Full Professor
Graziano Pravadelli: Full Professor (Department Department of Engineering for Innovation Medicine)
Nicola Sansonetto: Associate Professor
Tiziano Villa: Professore onorario

Research interests
Topic	Research area
Homological algebra	Algebra, Geometria e Logica Matematica Category theory; homological algebra
String algorithms	Ingegneria del Software e verifica formale Design and analysis of algorithms
Data intensive scalable computing	Sistemi informativi ed analisi dei dati Information systems applications
Rings and algebras arising under various constructions	Algebra, Geometria e Logica Matematica Associative rings and algebras
Algorithmic bioinformatics	Bioinformatica e informatica medica Life and medical sciences
Blockchain and smart contracts	Ingegneria del Software e verifica formale Software creation and management
Abelian categories	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 - Hypothesis Testing: General	Metodi quantitativi per l’economia Econometric and Statistical Methods and Methodology: General
JEL C13 - Estimation: General	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 - Financial Econometrics	Metodi quantitativi per l’economia Econometric Modeling
JEL C61 - Optimization Techniques; Programming Models; Dynamic Analysis	Metodi quantitativi per l’economia Mathematical Methods; Programming Models; Mathematical and Simulation Modeling
Large scale interacting random systems	Metodi e modelli matematici Stochastic analysis
Modules, bimodules and ideals	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
Representation theory of rings and algebras	Algebra, Geometria e Logica Matematica Associative rings and algebras
Optimal Transport	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

Projects
Title	Managers	Sponsors	Starting date	Duration (months)
GNCS Young Researcher Funding 2018/2019: "Heterogeneous systems for inter- and intra-chromosomal connectivity measures."	Vincenzo Bonnici	INdAM	Oct 12, 2018	12
Geometric evolution of curves, surfaces and networks	Giandomenico Orlandi	INdAM	Mar 14, 2017	12
Geometric Measure Theoretical approaches to Optimal Networks	Annalisa Massaccesi	INdAM	Mar 22, 2018	12
Formal methods for the verification and synthesis of discrete event and hybrid systems	Tiziano Villa	INdAM	Feb 5, 2018	12
Numerical methods for multiscale control problems and applications	Giacomo Albi	INdAM	Feb 5, 2018	12
Partecipazione a conferenza "25th IFIP/IEEE International Conference on Very Large Scale Integration"	Graziano Pravadelli	INdAM	Oct 23, 2017	0
Partecipazione a conferenza "ICRA 2018 - 18th International Conference on Representations of Algebras"	Lidia Angeleri	INdAM	Aug 7, 2018	0
Partecipation at the conference "The 12th AIMS Conference on Dynamical Systems, Differential Equations and Applications"	Nicola Sansonetto	INdAM	Jul 5, 2018	0

Overview

Organisation

Contact us

Research in brief

Research activities

Facilities

Courses

PhD programmes and postgraduate training

Teaching services

Information for community

Innovation and partnership

Contact us

Research groups

Activities

Research areas

Research groups

PhD Programmes

Research facilities

Libraries

Centres

Laboratories

Spin off and companies

INdAM - Research Unit at the University of Verona

Activities

Research areas

Research groups

PhD Programmes

Research facilities

Libraries

Centres

Laboratories

Spin off and companies