Unità di ricerca Indam


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.

Direttrice dell’Unità di Ricerca: Antonina Dattolo – ti.duinunull@olottad.aninotna

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

Componenti dell’Unità di ricerca – anno 2017

GRUPPO G.N.A.M.P.A.

Equazioni differenziali e sistemi dinamici
Paolo Baiti
Tobia Dondè
Guglielmo Feltrin
Roberta Musina
Duccio Papini
Elisa Sovrano
Fabio Zanolin

Calcolo delle variazioni, teoria del controllo e ottimizzazione
Lorenzo Freddi
Rodica Toader

Analisi reale, teoria della misura e probabilità
Giuseppina Gerarda Barbieri

GRUPPO G.N.C.S.

Analisi Numerica
Alessia Andò
Enrico Bozzo
Dimitri Breda
Dario Fasino
Davide Liessi
Rossana Vermiglio

Fondamenti di Informatica e Sistemi Informatici
Linda Anticoli
Andrea Brunello
Marco Corbatto
Antonina Dattolo
Agostino Dovier
Gian Luca Foresti
Nicola Gigante
Alberto Molinari
Angelo Montanari
Carla Piazza
Alberto Policriti
Andrea Viel

GRUPPO G.N.F.M.

Meccanica dei continui solidi
Eric Puntel
Vittorino Talamini

Relatività e teoria dei campi
Stefano Ansoldi
Sebastiano Sonego

GRUPPO G.N.S.A.G.A.

Geometria complessa e topologica
Nicolò Zava

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

Strutture algebriche e geometria combinatoria
Dikran Nichan Dikranjan
Anna Giordano Bruno
Mario Mainardis

Logica matematica e applicazioni
Alberto Giulio Marcone
Franco Parlamento

 

Progetti di ricerca  

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

2017

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

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.

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.

2014

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