INDAM

Istituto Nazionale di Alta Matematica “F. Severi”

Since 2013, DMIF has been home to the “F. Severi” – Italian Institute for High Mathematics (INDAMat the University of Udine.

Members – Year 2024

Head of Unit: Prof.ssa Rossana Vermiglio – rossana.vermiglio@uniud.it

All members are divided in 4 groups:

Equazioni differenziali e sistemi dinamici
Lorenzo D’Ambrosio
Guglielmo Feltrin
Andrea Tellini

Calcolo delle variazioni, teoria del controllo e ottimizzazione
Lorenzo Freddi

Analisi numerica
Alessia Andò
Enrico Bozzo
Dimitri Breda
Simone De Reggi
Dario Fasino
Davide Liessi
Muhammad Tanveer

Fondamenti di Informatica e Sistemi Informatici
Dario Della Monica
Andrea Formisano
Luca Geatti

Relatività e teoria dei campi
Sebastiano Sonego

Geometria algebrica e algebra commutativa
Pietro Corvaja
Pietro De Poi
Francesco Zucconi

Logica matematica e applicazioni 
Vincenzo Dimonte
Alberto Giulio Marcone

Strutture algebriche e geometria combinatoria
Anna Giordano Bruno
Mario Mainardis

Research Projects

Title: Hyperbolicity in Diophantine Geometry
Coordinator: Pietro Corvaja

Title: Analisi qualitativa di problemi differenziali non lineari
Coordinator: Guglielmo Feltrin
Members: Alberto Boscaggin, Maurizio Garrione, Aleks Jevnikar, Elisa Sovrano, Andrea Tellini

Title: Analisi simbolica e numerica di sistemi ciberfisici
Coordinator: Davide Bresolin
Members: Angelo Montanari, Guido Sciavicco , Fabio Mogavero, Dario Della Monica, Tiziano Villa, Davide Quaglia, Romeo Rizzi, Jeremy Sproston , Matteo Zavatteri, Ionel Eduard Stan, Luca Geatti, Giovanni Pagliarini, Andrea Urgolo, Nicola Saccomanno, Andrea Brunello, Federico Mari, Toni Mancini, Andrea Orlandini, Marco Faella

Title: ARICSxAI: Automated Reasoning Interpretation of Ct-Scans and xAI
Coordinator: Alessandro Dal Palù
Members: Vincenzo Bonnici, Flavio Bertini, Enea Zaffanella, Agostino Dovier, Andrea Formisano, Flavio Vella, Francesco Fabiano, Marco Gavanelli

Title: Sistemi dinamici e modelli di evoluzione: tecniche funzionali, analisi qualitativa e metodi numerici
Coordinator: Fabio Vito Difonzo (UNIBA)
Members: D. Breda, N. Del Buono, R. D’Ambrosio, F.V. Difonzo, C. Elia, N. Guglielmi, L. Lopez, S. Maset, A. Pugliese, R. Vermiglio, A. Andò, S. Di Giovacchino, F. Esposito, A. Farooq, D. Liessi, F. Scarabel

Title: Elaborazione del Linguaggio Naturale e Logica Temporale per la
Formalizzazione di Testi
Coordinator: Andrea Brunello

Title: InSANE: Investigating Sparse Algorithms in the post von Neumann Era
Coordinator: Flavio Vella
Members: Vincenzo Bonnici, Alberto Casagrande, Alessandro Dal Palù, Agostino Dovier, Andrea Formisano, Marco Gavanelli, Carlo Janna, Enea Zaffanella, Francesco Fabiano

Title: Metodi numerici avanzato per l’analisi di sistemi dinamici
Coordinator: Dimitri Breda
Members: E. Bozzo, D. Breda, N. Del Buono, R. D’Ambrosio, C. Elia, N. Guglielmi, L. Lopez, S. Maset, A. Pugliese, R. Vermiglio, S. De Reggi, S. Di Giovacchino, A. Farooq, F. Scarabel, L. Selicato

Title: Analisi numerica di sistemi evolutivi complessi
Coordinator: Dimitri Breda (UNIUD)
Members: D. Breda, N. Del Buono, R. D’Ambrosio, C. Elia, N. Guglielmi, M. Lopez Fernandez, S. Maset, B. Paternoster, A. Pugliese, R. Vermiglio, A. Andò, M.P. D’Arienzo, S. Di Giovacchino, A. Farooq, G. Giordano, D. Liessi, F. Scarabel, L. Selicato, S. Spada

Title: Aspetti variazionali di alcune PDE in geometria conforme
Coordinator: William Borrelli
Members: Luca Battaglia, Daniele Bartolucci, Pierpaolo Esposito, Aleks Jevnikar, Andrea Malchiodi, Gabriele Mancini

Title: Γ-convergenza e rilassamento in problemi variazionali nonlocali e degeneri/singolari, ed applicazioni
Coordinator: Gabriele Cora
Members: Paolo Caldiroli, Lorenzo Freddi, Alessandro Iacopetti, Roberta Musina, Susanna Terracini

Title: NoRMA: Automazione del ragionamento non-monotono su moderne architetture parallele
Coordinator: Andrea Formisano
Members: Alberto Casagrande, Alessandro Dal Palù, Agostino Dovier, Marco Gavanelli, Eugenio Omodeo, Carla Piazza, Alberto Policriti, Flavio Vella, Francesco Fabiano

Title: Problemi ai limiti per l’equazione della curvatura media prescritta
Coordinator: Alberto Boscaggin
Members: Francesca Colasuonno, Guglielmo Feltrin, Maurizio Garrione, Benedetta Noris, Elisa Sovrano

Title: Ragionamento Strategico e Sintesi Automatica di Sistemi Multi-Agente
Coordinator: Fabio Mogavero
Members: Riccardo De Benedictis, Andrea Orlandini, Guido Sciavicco, Giorgio Delzanno, Anna Lisa Ferrara, Gennaro Parlato, Massimo Benerecetti, Marco Faella, Adriano Peron, Davide Bresolin, Enrico Tronci, Salvatore La Torre, Dario Della Monica, Angelo Montanari, Luca Geretti, Pietro Sala, Tiziano Villa, Eduard Stan, Estrella Lucena, Andrea Brunello, Nicola Gigante, Luca Geatti, Andrea Urgolo, Nicola Saccomandi, Matteo Zavatteri, Viktor Teren

2019

Title: Logic Programming for early detection of pancreatic cancer
Coordinator: Alessandro Dal Palù
Members: A. Dovier, E. Omodeo, A. Policriti, A. Formisano, C. Piazza, A. Casagrande, R. Gentilini

Title: Problemi di evoluzione e loro discretizzazione: questioni di stabilita` lineare e non lineare
Coordinator: Raffaele D’Ambrosio
Members: D. Breda, N. Del Buono, R. D’Ambrosio, C. Elia, N. Guglielmi, M. Lopez Fernandez, S. Maset, B. Paternoster, A. Pugliese, R. Vermiglio, A. Andò, A. Farooq, F. Scarabel, S. Spada

Title: Metodi formali per tecniche di verifica combinata
Coordinator: Dario Della Monica
Members: Villa, Sciavicco, Montanari, Bresolin, Lanese, Benvenuti, Geretti, La Torre, Cialdea Mayer, Orlandini, De Benedictis, Peron, Murano, Tronci, Sala, Benerecetti, Mari, Mogavero, Delzanno, Maubert, Sorrentino, Di Stasio, Stranieri, Gigante, Brunello, Geatti, Dell’Erba, Sanchez, Zavattieri, Alimguzhin, Sinisi, Esposito

2018

Title: Approssimazione numerica di problemi di evoluzione: aspetti deterministici e stocastici
Coordinator: Raffaele D’Ambrosio
Members: Andò, Breda, D’Ambrosio, Del Buono, Elia, Guglielmi, Liessi, Lopez Fernandez, Maset, Moccaldi, Paternoster, Pugliese, Scarabel, Vermiglio

Title: Tecniche innovative per problemi di algebra lineare
Coordinator: Daniele Bertaccini
Members: Bini, Del Corso, Fasino, Gemignani, Iannazzo, Mastronardi, Meini, Poloni, Fayyaz Ahmad, Boito, Durastante, Fasi, Furci, Massei, Robol

Title: Metodi formali per la verifica e sintesi di sistemi discreti e ibridi
Coordinator: Tiziano Villa
Members: Sciavicco, A. Montanari, Bresolin, Lanese, Benvenuti, Geretti, La Torre, Cialdea Mayer, Cesta, Orlandini, De Benedictis, Piazza, Casagrande, Peron, Murano, Faella, Tronci, Sala, Benerecetti, Mari, Umbrico, Mogavero, Alimguzhin, Pappagallo, Sinisi, Dell’erba, Di Stasio, Sorrentino, Bozzelli, Rubin, Maubert, Gigante, Molinari

Title: Proprietà qualitative di alcuni problemi ai limiti
Coordinator: Alessandro Fonda
Members: Pierpaolo Omari, Franco Obersnel, Chiara Corsato, Fabio Zanolin, Duccio Papini

Title: Attuatori idrogel
Coordinator: Eric Puntel
Members: Daniele Battista, Michele Curatolo, Stefano Gabriele, Eric Puntel

Title: Proprietà qualitative di alcuni problemi ai limiti – Qualitative properties of some nonlinear boundary value problems
Coordinator: Alessandro Fonda
Members: Chiara Corsato, Franco Obersnel, Pierpaolo Omari, Duccio Papini, Fabio Zanolin

2017

Title: DECORE: A DEClarative approach for Object RE-construction
Coordinator: Andrea Formisano
Members: Andrea Formisano, Stefania Costantini, Alessandro Dal Palu’, Giovanni De Gasperis, Agostino Dovier, Andrea Fusiello, Marco Gavanelli, Raffaella Gentilini, Eugenio Omodeo

Title: Analisi e sviluppo di metodologie numeriche per certi tipi non classici di sistemi dinamici
Coordinator: Stefano Maset
Members: Breda, D’Ambrosio, Del Buono, Elia, Guglielmi, Lopez-Fernandez, Pugliese, Scotti, Vermiglio, Zennaro, Andò, Liessi, Scarabel, Spada.

Title: Algoritmi e tecniche efficienti per l’organizzazione, la gestione e l’analisi di Big Data in ambito biologico.
Coordinator: Simona Ester Rombo
Members:  Giancarlo, Palopoli, Fassetti,  Furfaro, Angiulli, Guzzi,  Policriti, Manzini,  Egidi, Cattaneo,  Ferraro Petrillo

Title: Logica e Automi per il Model-Checking Intervallare
Coordinator: Guido Sciavicco
Members: Montanari, Bresolin, Lanese, La Torre, Cialdea Mayer, Cesta, Orlandini, Piazza, Murano, Faella, Terenziani, Gigante, Molinari, Malvone, Di Stasio, Umbrico, Anticoli, L. Sorrentino, Maubert, De Benedictis, Viel, Brunello, Rubin

Title: Metodi numerici avanzati per equazioni e funzioni di matrici con struttura
Coordinator: Beatrice Meini
Members: Bini, Del Corso, Fasino, Gemignani, Iannazzo, Mastronardi, Poloni, Simoncini, Fasi, Massei, Palitta, Robol

Title: Dinamiche complesse per il problema degli N‐centri
Coordinator:Walter Dambrosio
Members: Vivina Barutello, Alberto Boscaggin, Duccio Papini

Title: Problemi differenziali con peso indefinito: tra metodi topologici e aspetti dinamici
Coordinator: Andrea Sfecci
Members: Tobia Dondè, Guglielmo Feltrin, Paolo Gidoni, Elisa Sovrano

Title: Problemi fortemente nonlineari: esistenza, molteplicità, regolarità delle soluzioni
Coordinator: Pierpaolo Omari
Members: Chiara Corsato, Franco Obersnel, Alessandro Fonda, Fabio Zanolin

2016

Title: Logica, Automi e Giochi per Sistemi Autoadattivi.
Coordinator: Davide Bresolin
Members: Lanese, Napoli, Montanari, Piazza, Murano, Villa, Faella, La Torre, Sciavicco, Cialdea, Orlandini, Sala, Della Monica, Gigante, Molinari, Malvone, Di Stasio, Umbrico.

Title: Programmazione logica per lo studio dell’evoluzione del genoma nel cancro.
Coordinator: Alessandro Dal Palu
Members: Policriti, Dovier, Formisano, Gentilini, Fioretto, Vicedomini, Silvetti, Vella.

Title: Analisi numerica di certi tipi non classici di equazioni di evoluzione.
Coordinator: Stefano Maset
Members: Breda, Elia, Guglielmi, Lopez-Fernandez, Pugliese, Vermiglio, Zennaro, Andreotti, Liessi,  Scarabel.

Title: Problemi differenziali non lineari: esistenza, molteplicità e proprietà qualitative delle soluzioni
Coordinator: Maurizio Garrione
Members: Alberto Boscaggin, Chiara Corsato, Tobia Dondè, Guglielmo Feltrin, Paolo Gidoni, Andrea Sfecci, Elisa Sovrano

2015

Title: Constraint-Based Search using GPUs and applications to protein structure prediction.
Coordinator: Agostino Dovier
Members: Formisano, Dal Palù, Gentilini, Vella, Campeotto, Fioretto.

Title: Analisi numerica di sistemi dinamici infinito-dimensionali e non regolari.
Coordinator: Nicola Guglielmi
Members: Breda, Elia, Maset, Pugliese, Vermiglio, Zennaro, Scarabel, Liessi, Andreotti.

Title: Algoritmica per il model checking e la sintesi di sistemi safety-critical.
Coordinator: Carla Piazza
Members: Montanari, Policriti, D’Agostino, Napoli, Parente, La Torre, Peron, Murano, Faella, Bresolin, Della Monica, Sala, Dreossi.

Title: Problemi al contorno associati ad alcune classi di equazioni differenziali non lineari
Coordinator: Franco Obersnel
Members: Alessandro Fonda, Guglielmo Feltrin, Paolo Gidoni, Pierpaolo Omari, Elisa Sovrano, Fabio Zanolin.

Title: Equazioni Differenziali Ordinarie sulla retta reale
Coordinator: Alberto Boscaggin (unito)
Members: Walter Dambrosio, Duccio Papini

2014

Title: Corrugamento di travi bistrato di gel polimerico
Coordinator: Eric Puntel
Members: Eric Puntel, Matteo Pezzulla

Title: CUD@ASP: sfruttare la potenza di calcolo delle GPU per il ragionamento automatico
Coordinator: Andrea Formisano
Members: Gentilini, Dovier, Dal Palu, Vella

Title: Analisi di reti biologiche per identificare fattori critici del cancro alla tiroide
Coordinator: Rosalba Giugno
Members: Ferro, Pulvirenti, Policriti

Title: Analisi numerica di problemi differenziali infinito-dimensionali e discontinui
Coordinator: Nicola Guglielmi
Members: Breda, Elia, Lopez, Maset, Pugliese, Vermiglio, Zennaro, Cicone, Laglia

Title: Automi, giochi e logiche temporali per la verifica e la sintesi di controllori in sistemi safety-critical
Coordinator:  Salvatore La Torre
Members: Montanari, Napoli, Parente, D’agostino, Murano, Piazza, Faella, Bresolin, Della Monica, Sala, Mogavero

Conferences and Meetings

Title: XXVIII Incontro di Logica AILA
Location: Udine, 3-6 Settembre 2024
Web Site: https://ailameeting24.uniud.it/

Title: Differential equations and dynamics in Alba (in honor of the career of Fabio Zanolin)
Location: Alba (Italy), September 11-13, 2023
Web Site: https://deg1.uniud.it/deda2023/

Title: Modern Aspects of PDE
Location: Bari, 23-24 giugno 2022
Web Site: https://www.dm.uniba.it/it/ricerca/convegni/2022/mapde

2021

Title: Recent Developments in Mathematical Analysis (ReDiMA 2021)
Location: Bari, 23-24 Settembre 2021
Web Site: https://www.dm.uniba.it/it/ricerca/convegni/2021/redima

Title: Derived Categories of Fano Varieties, Hyperkähler Varieties and their Period Maps
Location: Udine, CISM, 8-12 novembre 2021
Web Site: http://derived.dmif.uniud.it/program.html

2019

Title: Summer Sschool on Finite Groups and Related Geometrical Structures 2019
Location: VENEZIA – 19-30 agosto 2019
Web Site: https://users.dimi.uniud.it/~mario.mainardis/summerschool/2019.html

2018

Title: Logic Colloqium 2018
Location:  Udine (UD), 9-14 luglio 2018
Web Sitehttps://lc18.uniud.it/

2017

Title: Nonlinear Meeting in Udine 2017
Location: Udine (UD), 23-26 gennaio 2017
Web Sitehttps://sites.google.com/site/2017nlmu/

Title: Specialization problems in Diophantine geometry
Location: Cetraro (CS), 23-28 luglio 2017
Web Sitehttp://diophantinegeometry.sns.it/