Research groups-Dep.Computer Science-University of Verona

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: Full 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: Associate 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: Temporary Professor

Research interests
Topic	Research area
Active learning	Intelligenza Artificiale Machine learning
Intelligent agents	Intelligenza Artificiale Distributed artificial intelligence
Homological algebra	Algebra, Geometria e Logica Matematica Category theory; homological algebra
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
Unsupervised learning	Intelligenza Artificiale Machine learning
Supervised learning	Intelligenza Artificiale Machine learning
Algorithmic bioinformatics	Bioinformatica e informatica medica Life and medical sciences
Computational Biology	Sistemi informativi ed analisi dei dati Computational Biology
Blockchain and smart contracts	Ingegneria del Software e Verifica Formale Software creation and management
BPMN Systems in Medicine	Sistemi informativi ed analisi dei dati Information systems applications
Abelian categories	Algebra, Geometria e Logica Matematica Category theory; homological algebra
Triangulated categories	Algebra, Geometria e Logica Matematica Category theory; homological algebra
Temporal data mining	Sistemi informativi ed analisi dei dati Data Mining
Deep learning	Intelligenza Artificiale Machine learning
Quantum fluids, vortex dynamics, sound and Kelvin waves	Algebra, Geometria e Logica Matematica Methods of Riemannian geometry, including PDE methods; curvature restrictions
Nonholonomic dynamcis	Metodi e modelli matematici Finite-dimensional Hamiltonian, Lagrangian, contact, and nonholonomic systems
Partial differential equations of elliptic type	Metodi e modelli matematici Elliptic equations and elliptic systems
Stochastic partial differential equations and their applications	Metodi e modelli matematici Stochastic analysis
Elliptic equations and elliptic systems	Metodi e modelli matematici Partial Differential Equations
Mean field games and applications	Metodi quantitativi per l’economia Game theory, economics, social and behavioral sciences
Exponential integrators and approximation of matrix functions	Metodi e modelli matematici Numerical analysis
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
Numerical methods and models for multi-scale systems of interacting particles	Metodi e modelli matematici Numerical analysis
Machine learning on spatial data	Sistemi informativi ed analisi dei dati Information systems applications
Temporal BPMN Models	Sistemi informativi ed analisi dei dati Data management systems
Modules, bimodules and ideals	Algebra, Geometria e Logica Matematica Associative rings and algebras
Stochastic data-driven forecasting	Sistemi informativi ed analisi dei dati Stochastic Differential Equations
Variational principles of physics	Metodi e modelli matematici Calculus of variations and optimal control; optimization
Variational problems in a geometric measure-theoretic setting	Metodi e modelli matematici Manifolds
Problem solving in the context of artificial intelligence	Metodi e modelli matematici Stochastic analysis
Progettazione di sistemi embedded e IoT	Sistemi Ciberfisici e IoT Sistemi fisici e ciberfisici
Purity in representation theory	Algebra, Geometria e Logica Matematica Associative rings and algebras
Geometric quantization	Algebra, Geometria e Logica Matematica Methods of Riemannian geometry, including PDE methods; curvature restrictions
Temporal reasoning	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
Finite dimensional Hamiltonian and non-Hamiltonian integrable systems	Metodi e modelli matematici Finite-dimensional Hamiltonian, Lagrangian, contact, and nonholonomic systems
Multi agent systems	Intelligenza Artificiale Distributed artificial intelligence
Large scale interacting random systems	Metodi e modelli matematici Stochastic analysis
Numerical solution of partial differential equations	Metodi e modelli matematici Numerical analysis
Representation theory of algebras	Algebra, Geometria e Logica Matematica Associative rings and algebras
Geometric measure and integration theory, integral and normal currents in optimization	Metodi e modelli matematici Manifolds
Silting and tilting theory	Algebra, Geometria e Logica Matematica Category theory; homological algebra
Optimal Transport	Metodi e modelli matematici Manifolds
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