INDAM

Istituto Nazionale di Alta Matematica “F. Severi”

Dal 2013 il DMIF è sede dell’Unità di ricerca dell’INDAM – Istituto Nazionale di Alta Matematica “F. Severi” presso l’Università degli Studi di Udine.

Componenti dell’Unità di ricerca – anno 2024

Direttrice dell’Unità di Ricerca: Prof.ssa Rossana Vermiglio – rossana.vermiglio@uniud.it

Gli aderenti all’INDAM sono organizzati a livello nazionale in 4 gruppi:

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

Progetti di ricerca

Progetti che coinvolgono o hanno coinvolto negli ultimi anni componenti dell’Unità di Ricerca.

Titolo: Hyperbolicity in Diophantine Geometry
Responsabile: Pietro Corvaja

Titolo: Analisi qualitativa di problemi differenziali non lineari
Responsabile: Guglielmo Feltrin
Partecipanti: Alberto Boscaggin, Maurizio Garrione, Aleks Jevnikar, Elisa Sovrano, Andrea Tellini

Titolo: Analisi simbolica e numerica di sistemi ciberfisici
Responsabile: Davide Bresolin
Partecipanti: 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

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

Titolo: Sistemi dinamici e modelli di evoluzione: tecniche funzionali, analisi qualitativa e metodi numerici
Responsabile: Fabio Vito Difonzo (UNIBA)
Partecipanti: 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

Titolo: Elaborazione del Linguaggio Naturale e Logica Temporale per la
Formalizzazione di Testi
Responsabile: Andrea Brunello

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

Titolo: Metodi numerici avanzato per l’analisi di sistemi dinamici
Responsabile: Dimitri Breda
Partecipanti: 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

Titolo: Analisi numerica di sistemi evolutivi complessi
Responsabile: Dimitri Breda (UNIUD)
Partecipanti: 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

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

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

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

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

Titolo: Ragionamento Strategico e Sintesi Automatica di Sistemi Multi-Agente
Responsabile: Fabio Mogavero
Partecipanti: 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

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

Titolo: Problemi di evoluzione e loro discretizzazione: questioni di stabilita` lineare e non lineare
Responsabile: Raffaele D’Ambrosio
Partecipanti: 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

Titolo: Metodi formali per tecniche di verifica combinata
Responsabile: Dario Della Monica
Partecipanti: 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

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

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

Titolo: Metodi formali per la verifica e sintesi di sistemi discreti e ibridi
Responsabile: Tiziano Villa
Partecipanti: 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

Titolo: Proprietà qualitative di alcuni problemi ai limiti
Responsabile: Alessandro Fonda
Partecipanti: Pierpaolo Omari, Franco Obersnel, Chiara Corsato, Fabio Zanolin, Duccio Papini

Titolo: Attuatori idrogel
Responsabile: Eric Puntel
Partecipanti: Daniele Battista, Michele Curatolo, Stefano Gabriele, Eric Puntel

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

2017

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

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

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

Titolo: Logica e Automi per il Model-Checking Intervallare
Responsabile: Guido Sciavicco
Partecipanti: 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

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

Titolo: Dinamiche complesse per il problema degli N‐centri
Responsabile:Walter Dambrosio
Partecipanti: Vivina Barutello, Alberto Boscaggin, Duccio Papini

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

Titolo: Problemi fortemente nonlineari: esistenza, molteplicità, regolarità delle soluzioni
Responsabile: Pierpaolo Omari
Partecipanti: Chiara Corsato, Franco Obersnel, Alessandro Fonda, Fabio Zanolin

2016

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

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

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

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

2015

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

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

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

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

Titolo: Equazioni Differenziali Ordinarie sulla retta reale
Responsabile: Alberto Boscaggin (unito)
Partecipanti: Walter Dambrosio, Duccio Papini

2014

Titolo: Corrugamento di travi bistrato di gel polimerico
Responsabile: Eric Puntel
Partecipanti: Eric Puntel, Matteo Pezzulla

Titolo: CUD@ASP: sfruttare la potenza di calcolo delle GPU per il ragionamento automatico
Responsabile: Andrea Formisano
Partecipanti: Gentilini, Dovier, Dal Palu, Vella

Titolo: Analisi di reti biologiche per identificare fattori critici del cancro alla tiroide
Responsabile: Rosalba Giugno
Partecipanti: Ferro, Pulvirenti, Policriti

Titolo: Analisi numerica di problemi differenziali infinito-dimensionali e discontinui
Responsabile: Nicola Guglielmi
Partecipanti: Breda, Elia, Lopez, Maset, Pugliese, Vermiglio, Zennaro, Cicone, Laglia

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

Conferenze e convegni

Conferenze e convegni che hanno ricevuto un contributo INdAM.

Titolo: XXVIII Incontro di Logica AILA

Luogo e data: Udine, 3-6 Settembre 2024

Sito Web: https://ailameeting24.uniud.it/

Titolo: Differential equations and dynamics in Alba (in honor of the career of Fabio Zanolin)
Luogo e data: Alba (Italy), September 11-13, 2023
Sito web: https://deg1.uniud.it/deda2023/

Titolo: Modern Aspects of PDE
Luogo e data: Bari, 23-24 giugno 2022
Sito Web: https://www.dm.uniba.it/it/ricerca/convegni/2022/mapde

2021

Titolo: Recent Developments in Mathematical Analysis (ReDiMA 2021)
Luogo e data: Bari, 23-24 Settembre 2021
Sito Web: https://www.dm.uniba.it/it/ricerca/convegni/2021/redima

Titolo: Derived Categories of Fano Varieties, Hyperkähler Varieties and their Period Maps
Luogo e data: Udine, CISM, 8-12 novembre 2021
Sito Web: http://derived.dmif.uniud.it/program.html

2019

Titolo: Summer Sschool on Finite Groups and Related Geometrical Structures 2019
Luogo e data: VENEZIA – 19-30 agosto 2019
Sito Web: https://users.dimi.uniud.it/~mario.mainardis/summerschool/2019.html

2018

Titolo: Logic Colloqium 2018
Luogo e data:  Udine (UD), 9-14 luglio 2018
Sito Webhttps://lc18.uniud.it/

2017

Titolo: Nonlinear Meeting in Udine 2017
Luogo e data: Udine (UD), 23-26 gennaio 2017
Sito Webhttps://sites.google.com/site/2017nlmu/

Titolo: Specialization problems in Diophantine geometry
Luogo e data: Cetraro (CS), 23-28 luglio 2017
Sito Webhttp://diophantinegeometry.sns.it/