Parte I: Obiettivi, risorse e gestione del Dipartimento 
Sezione A - Obiettivi di ricerca del Dipartimento
I settori di ricerca attivi nel dipartimento sono i seguenti:
Algebra
Anelli e moduli e loro applicazioni, Gruppi topologici, Iperstrutture, Strutture algebriche, Teoria dei gruppi, Teoria di Galois, Teoria dei numeri
Analisi Matematica
Algebre di operatori – probabilità non commutativa, Analisi non lineare, Applicazioni alla meccanica, Calcolo delle variazioni e controllo, Equazioni differenziali ordinarie, Equazioni differenziali alle derivate parziali e frazionarie, Metodi topologici, Sistemi dinamici, Teoria della misura
Geometria
Geometria algebrica, Geometria aritmetica, Geometria kähleriana, Geometria analitica complessa, Iperstrutture
Logica matematica
Algoritmi di decisione, Deduzione automatica, Logiche modali e temporali, Logiche multivalenti, Metamatematica di sistemi insiemistici, Problemi di decisione, Reverse Mathematics, Teoria descrittiva degli insiemi, Teorie deboli degli insiemi, Computable analysis, Logica parziale
Teoria delle funzioni
Funzioni perfette, Funzioni uniformemente continue
Topologia
Dinamica topologica di omeomorfismi nel piano, Strutture di convergenza, Topologia generale
Analisi Numerica
Metodi numerici per sistemi dinamici retti da equazioni differenziali ordinarie e funzionali integrali e integro-differenziali: Simulazione numerica e Approssimazione di spettri per l'analisi di stabilità, Applicazioni alla teoria del controllo e delle popolazioni strutturate. Algebra lineare numerica, Proprietà computazionali e spettrali di classi di matrici con struttura, Risoluzione numerica di problemi inversi e malposti.
Automatica
Problema dell'attenuazione dei disturbi, Stabilizzazione robusta tramite funzioni di Lyapunov non-quadratiche, Analisi strutturale di modelli biologici
Fisica Matematica e Sistemi Dinamici:
Rinormalizzazione geometrica, Rinormalizzazione perturbativa, Stabilità di orbite quasiperiodiche, Teorie classiche e quantistiche della gravità
Ricerca Operativa
Algoritmi approssimati, Programmazione matematica, Ricerca operativa e biologia computazionale, Schedulazione, Sistemi elettorali, Teoria dei grafi, Teoria del portafoglio
Statistica
Elaborazione statistica di basi di dati di grandi dimensioni nel settore del controllo della qualità
Astrofisica, Cosmologia e Relativita`
Astrofisica delle alte energie, Astrofisica relativistica, Cosmologia, Teorie classiche e quantistiche della gravita`, Approcci numerici a problemi astrofisici e cosmologici
Algoritmi
Algoritmi su grafi, Geometria computazionale, Motion planning
Scienza delle Reti
Indicatori di centralità, Struttura delle reti
Basi di Dati
Basi di dati per la biologia, Basi di dati spaziali, temporali e spazio-temporali, Basi di dati semistrutturate e XML, Progettazione concettuale e logica di basi di dati, Sistemi di workflow, Sistemi infornativi territoriali, Analisi dei dati, Data warehouse e Data mining
Bibliometria
Indicatori bibliometrici, Analisi di reti di collaborazione, Analisi di reti di citazioni
Biologia computazionale e systems biology
Algoritmica per la bioinformatica (Motif Search/Extraction, Strutture dati, TFBS search), Calcoli di processi per la systems biology, Logiche per la systems biology, Metodi formali per la bioinformatica, Problema degli aplotipi, Problemi di allineamento, Protein Folding, Riarrangiamenti genomici, Strumenti per la simulazione di processi biologici
Context-aware & Mobile Computing
Computational advertising, Pervasive computing, Programmazione dispositivi mobili, Proximity marketing, Sistemi mobili dipendenti dal contesto
Didattica dell'Informatica
Didattica della Programmazione, Informatica nei Curricula Scolastici
Ingegneria del Software
Analisi statistiche fault, Metriche software, Metodologie di testing
Informatica Medica
Applicazioni del ragionamento temporale alla medicina, Gestione cartelle cliniche, Gestione di dati multimediali, Telemedicina, Tecniche di visualizzazione dell'informazione in medicina, Trasmissione e interpretazione distribuita di immagini in medicina, Terminologie, classificazioni, ontologie biomediche, elaborazione di immagini biomediche
Intelligenza Artificiale
Agenti intelligenti per l'accesso a Internet, Applicazione della rule induction, Interfacce intelligenti per Biblioteche Digitali, Linguaggi per il planning (action description language), Modellazione degli utenti, Programmazione a vincoli e ricerca locale, Ragionamento qualitativo, Rappresentazione e ragionamento temporali, Sistemi di configurazione, Sistemi esperti e basati sulla conoscenza, Sistemi intelligenti per il reperimento e filtraggio di informazioni WEB, Strumenti per l‘analisi della polarità e del sentiment, Sistemi per la diagnosi e la progettazione, Sistemi multi-agente
Sistemi intelligenti per la didattica, Sistemi multiesperti per l'interpretazione di dati grafici, Sistemi di comunicazione ipermediale e multimediale
Interazione uomo-macchina
Ambienti 3D per la formazione e l'addestramento, Applicazioni mobili per la salute, il fitness e lo sport, Interfacce per dispositivi mobili e wireless, Interfacce 3D, realtà virtuale, siti Web 3D, Interfacce basate su sensori fisiologici, Information visualization, Guide turistiche su dispositivi mobili, Musei virtuali e ricostruzioni 3D di beni culturali, Navigazione ed usabilita' degli ambienti 3D, Tecnologie persuasive, Sistemi per il supporto alla gestione di emergenze, Interfacce adattative, Metodi e Strumenti per la gestione dell'accessibilità del web, Strumenti di supporto per la valutazione dell'usabilità, Valutazione di usabilità, accessibilità e user experience di interfacce utente e siti web, Simulazione del volo, Interfacce Utente Aptiche e per la Performance Musicale
Linguaggi di Programmazione
Interpretazione astratta, Lambda-calcolo, Linguaggi con vincoli, Linguaggi funzionali con tipi e senza tipi, Linguaggi logici, Linguaggi Logico-Funzionali
Metodi Formali e Informatica Teorica
Linguaggi logici per la specifica e la verifica, Logical framework, Metamodelli basati su bigrafi, Modelli operazionali e denotazionali di sistemi concorrenti, Model checking e algoritmica per il model checking, Semantica dei linguaggi concorrenti, Sistemi a tableau, Teoria degli automi, Teoria dei giochi, Teoria dei grafi, Modelli categoriali dei linguaggi di programmazione, Sintesi logica, Verifica e Debugging automatici mediante interpretazione astratta
Modelli e sistemi ipermediali
Accesso e navigazione, Collaborazione e reti sociali, Iperstrutture distribuite, Personalizzazione e ad attività, Sentiment analysis, Sistemi multi-agente, Spazi concettuali, Versioning e configuration management, Sistemi di raccomandazione, Folksonomie, Social Web, Semantic Web
Progettazione e analisi orientate agli oggetti
Design pattern, UML
Robotica
Architetture basate sul comportamento per sistemi multirobot, Coordinazione role-based, Modelli di sciami densi di robot basati sulla termodinamica
Sistemi Informativi
Data warehouse, Indicatori di Performance per la online Business Intelligence, Knowledge Management, Qualità dei dati, Sistemi di supporto alle decisioni, Modelli di Business nei Social Media
Tecnologie WEB
Biblioteche digitali, E-learning, Interoperabilità e ricusabilità, Personalizzazione dei contenuti WEB, Progettazione e realizzazione di portali WEB per la Pubblica Amministrazione, Sistemi di E-government, Siti WEB 3D e Realtà virtuale su WEB, Tecniche di personalizzazioni per le community e il Web 2.0, Tecnologie assistive per disabili, Tecniche di analisi della Blogosfera
Visione artificiale
Algoritmi per l'annotazione automatica di video, Algoritmi di pattern recognition per classificazione e riconoscimento, Algoritmi per la regolazione automatica di parametri intrinseci ed estrinseci di sensori video statici e PTZ, Algoritmi per l'individuazione, la localizzazione e il tracking di oggetti in sequenze di immagini, Analisi e apprendimento di eventi in scene reali da dati multisensore, Fusione dati e fusione delle informazioni da sorgenti multiple, Realtà aumentata per applicazioni multimediali, Reti e alberi neurali, Riconfigurazione di reti di sensori, Riconoscimento automatico di sorgenti acustiche e del parlato, Visione attiva per applicazioni di ambient intelligence.
Web Information Retrieval
Interfacce avanzate per l'accesso alle informazioni, Social search e tagging nel Web 2.0, Ricerca di informazioni con dispositivi mobili, Valutazione dei sistemi di accesso alle informazioni
Gli obiettivi del Dipartimento relativamente alla ricerca per il triennio 2015-2017 sono:
a. Il consolidamento della produzione scientifica del Dipartimento;
b. Il consolidamento dell'attrattività internazionale del Dipartimento;
c. Il consolidamento delle collaborazioni alla ricerca svolte assieme a enti pubblici e privati.
Gli obiettivi sopra identificati verranno monitorati annualmente dalla Commissione attraverso l'utilizzo di indicatori.
Obiettivo a: consolidamento della produzione scientifica del Dipartimento.
Monitoraggio: Riesame 2015
Scadenza: 2017
Indicatori: Numero di pubblicazioni per afferente di articoli indicizzati ISI/Scopus/MathSciNet; numero di pubblicazioni nell'anno; numero di ricercatori attivi (cioè con almeno due pubblicazioni nell'arco dei tre anni); numero di inviti per afferente, almeno parzialmente finanziati e/o di indubbio prestigio, a intervenire presso convegni, workshop, scuole, seminari di studio o altro evento.
Obiettivo b: consolidamento dell'attrattività internazionale del Dipartimento.
Monitoraggio: Riesame 2015
Scadenza: 2017
Indicatori: Settimane di visita effettuate da ospiti stranieri in permanenza presso il DIMI per almeno una settimana; ricercatori italiani o stranieri provenienti dall'estero che hanno ottenuto assegni di ricerca in rapporto al numero dei bandi attivi presso il DIMI; presenza in comitati di programma di conferenza internazionale (con ruolo di primo piano, non limitato alla revisione di contributi agli atti) e in comitati editoriali di rivista internazionale (con ruolo di Editor o Associate Editor)
Obiettivo c: Consolidamento delle collaborazioni alla ricerca svolte assieme a enti pubblici e privati.
Monitoraggio: Riesame 2015
Scadenza: 2017
Indicatori: Numero di progetti di ricerca finanziati da parte di enti pubblici e da parte di soggetti privati; numero di visite all'estero superiori a 14 gg da parte degli afferenti.
Algebra
Anelli e moduli e loro applicazioni, Gruppi topologici, Iperstrutture, Strutture algebriche, Teoria dei gruppi, Teoria di Galois, Teoria dei numeri
Analisi Matematica
Algebre di operatori – probabilità non commutativa, Analisi non lineare, Applicazioni alla meccanica, Calcolo delle variazioni e controllo, Equazioni differenziali ordinarie, Equazioni differenziali alle derivate parziali e frazionarie, Metodi topologici, Sistemi dinamici, Teoria della misura
Geometria
Geometria algebrica, Geometria aritmetica, Geometria kähleriana, Geometria analitica complessa, Iperstrutture
Logica matematica
Algoritmi di decisione, Deduzione automatica, Logiche modali e temporali, Logiche multivalenti, Metamatematica di sistemi insiemistici, Problemi di decisione, Reverse Mathematics, Teoria descrittiva degli insiemi, Teorie deboli degli insiemi, Computable analysis, Logica parziale
Teoria delle funzioni
Funzioni perfette, Funzioni uniformemente continue
Topologia
Dinamica topologica di omeomorfismi nel piano, Strutture di convergenza, Topologia generale
Analisi Numerica
Metodi numerici per sistemi dinamici retti da equazioni differenziali ordinarie e funzionali integrali e integro-differenziali: Simulazione numerica e Approssimazione di spettri per l'analisi di stabilità, Applicazioni alla teoria del controllo e delle popolazioni strutturate. Algebra lineare numerica, Proprietà computazionali e spettrali di classi di matrici con struttura, Risoluzione numerica di problemi inversi e malposti.
Automatica
Problema dell'attenuazione dei disturbi, Stabilizzazione robusta tramite funzioni di Lyapunov non-quadratiche, Analisi strutturale di modelli biologici
Fisica Matematica e Sistemi Dinamici:
Rinormalizzazione geometrica, Rinormalizzazione perturbativa, Stabilità di orbite quasiperiodiche, Teorie classiche e quantistiche della gravità
Ricerca Operativa
Algoritmi approssimati, Programmazione matematica, Ricerca operativa e biologia computazionale, Schedulazione, Sistemi elettorali, Teoria dei grafi, Teoria del portafoglio
Statistica
Elaborazione statistica di basi di dati di grandi dimensioni nel settore del controllo della qualità
Astrofisica, Cosmologia e Relativita`
Astrofisica delle alte energie, Astrofisica relativistica, Cosmologia, Teorie classiche e quantistiche della gravita`, Approcci numerici a problemi astrofisici e cosmologici
Algoritmi
Algoritmi su grafi, Geometria computazionale, Motion planning
Scienza delle Reti
Indicatori di centralità, Struttura delle reti
Basi di Dati
Basi di dati per la biologia, Basi di dati spaziali, temporali e spazio-temporali, Basi di dati semistrutturate e XML, Progettazione concettuale e logica di basi di dati, Sistemi di workflow, Sistemi infornativi territoriali, Analisi dei dati, Data warehouse e Data mining
Bibliometria
Indicatori bibliometrici, Analisi di reti di collaborazione, Analisi di reti di citazioni
Biologia computazionale e systems biology
Algoritmica per la bioinformatica (Motif Search/Extraction, Strutture dati, TFBS search), Calcoli di processi per la systems biology, Logiche per la systems biology, Metodi formali per la bioinformatica, Problema degli aplotipi, Problemi di allineamento, Protein Folding, Riarrangiamenti genomici, Strumenti per la simulazione di processi biologici
Context-aware & Mobile Computing
Computational advertising, Pervasive computing, Programmazione dispositivi mobili, Proximity marketing, Sistemi mobili dipendenti dal contesto
Didattica dell'Informatica
Didattica della Programmazione, Informatica nei Curricula Scolastici
Ingegneria del Software
Analisi statistiche fault, Metriche software, Metodologie di testing
Informatica Medica
Applicazioni del ragionamento temporale alla medicina, Gestione cartelle cliniche, Gestione di dati multimediali, Telemedicina, Tecniche di visualizzazione dell'informazione in medicina, Trasmissione e interpretazione distribuita di immagini in medicina, Terminologie, classificazioni, ontologie biomediche, elaborazione di immagini biomediche
Intelligenza Artificiale
Agenti intelligenti per l'accesso a Internet, Applicazione della rule induction, Interfacce intelligenti per Biblioteche Digitali, Linguaggi per il planning (action description language), Modellazione degli utenti, Programmazione a vincoli e ricerca locale, Ragionamento qualitativo, Rappresentazione e ragionamento temporali, Sistemi di configurazione, Sistemi esperti e basati sulla conoscenza, Sistemi intelligenti per il reperimento e filtraggio di informazioni WEB, Strumenti per l‘analisi della polarità e del sentiment, Sistemi per la diagnosi e la progettazione, Sistemi multi-agente
Sistemi intelligenti per la didattica, Sistemi multiesperti per l'interpretazione di dati grafici, Sistemi di comunicazione ipermediale e multimediale
Interazione uomo-macchina
Ambienti 3D per la formazione e l'addestramento, Applicazioni mobili per la salute, il fitness e lo sport, Interfacce per dispositivi mobili e wireless, Interfacce 3D, realtà virtuale, siti Web 3D, Interfacce basate su sensori fisiologici, Information visualization, Guide turistiche su dispositivi mobili, Musei virtuali e ricostruzioni 3D di beni culturali, Navigazione ed usabilita' degli ambienti 3D, Tecnologie persuasive, Sistemi per il supporto alla gestione di emergenze, Interfacce adattative, Metodi e Strumenti per la gestione dell'accessibilità del web, Strumenti di supporto per la valutazione dell'usabilità, Valutazione di usabilità, accessibilità e user experience di interfacce utente e siti web, Simulazione del volo, Interfacce Utente Aptiche e per la Performance Musicale
Linguaggi di Programmazione
Interpretazione astratta, Lambda-calcolo, Linguaggi con vincoli, Linguaggi funzionali con tipi e senza tipi, Linguaggi logici, Linguaggi Logico-Funzionali
Metodi Formali e Informatica Teorica
Linguaggi logici per la specifica e la verifica, Logical framework, Metamodelli basati su bigrafi, Modelli operazionali e denotazionali di sistemi concorrenti, Model checking e algoritmica per il model checking, Semantica dei linguaggi concorrenti, Sistemi a tableau, Teoria degli automi, Teoria dei giochi, Teoria dei grafi, Modelli categoriali dei linguaggi di programmazione, Sintesi logica, Verifica e Debugging automatici mediante interpretazione astratta
Modelli e sistemi ipermediali
Accesso e navigazione, Collaborazione e reti sociali, Iperstrutture distribuite, Personalizzazione e ad attività, Sentiment analysis, Sistemi multi-agente, Spazi concettuali, Versioning e configuration management, Sistemi di raccomandazione, Folksonomie, Social Web, Semantic Web
Progettazione e analisi orientate agli oggetti
Design pattern, UML
Robotica
Architetture basate sul comportamento per sistemi multirobot, Coordinazione role-based, Modelli di sciami densi di robot basati sulla termodinamica
Sistemi Informativi
Data warehouse, Indicatori di Performance per la online Business Intelligence, Knowledge Management, Qualità dei dati, Sistemi di supporto alle decisioni, Modelli di Business nei Social Media
Tecnologie WEB
Biblioteche digitali, E-learning, Interoperabilità e ricusabilità, Personalizzazione dei contenuti WEB, Progettazione e realizzazione di portali WEB per la Pubblica Amministrazione, Sistemi di E-government, Siti WEB 3D e Realtà virtuale su WEB, Tecniche di personalizzazioni per le community e il Web 2.0, Tecnologie assistive per disabili, Tecniche di analisi della Blogosfera
Visione artificiale
Algoritmi per l'annotazione automatica di video, Algoritmi di pattern recognition per classificazione e riconoscimento, Algoritmi per la regolazione automatica di parametri intrinseci ed estrinseci di sensori video statici e PTZ, Algoritmi per l'individuazione, la localizzazione e il tracking di oggetti in sequenze di immagini, Analisi e apprendimento di eventi in scene reali da dati multisensore, Fusione dati e fusione delle informazioni da sorgenti multiple, Realtà aumentata per applicazioni multimediali, Reti e alberi neurali, Riconfigurazione di reti di sensori, Riconoscimento automatico di sorgenti acustiche e del parlato, Visione attiva per applicazioni di ambient intelligence.
Web Information Retrieval
Interfacce avanzate per l'accesso alle informazioni, Social search e tagging nel Web 2.0, Ricerca di informazioni con dispositivi mobili, Valutazione dei sistemi di accesso alle informazioni
Gli obiettivi del Dipartimento relativamente alla ricerca per il triennio 2015-2017 sono:
a. Il consolidamento della produzione scientifica del Dipartimento;
b. Il consolidamento dell'attrattività internazionale del Dipartimento;
c. Il consolidamento delle collaborazioni alla ricerca svolte assieme a enti pubblici e privati.
Gli obiettivi sopra identificati verranno monitorati annualmente dalla Commissione attraverso l'utilizzo di indicatori.
Obiettivo a: consolidamento della produzione scientifica del Dipartimento.
Monitoraggio: Riesame 2015
Scadenza: 2017
Indicatori: Numero di pubblicazioni per afferente di articoli indicizzati ISI/Scopus/MathSciNet; numero di pubblicazioni nell'anno; numero di ricercatori attivi (cioè con almeno due pubblicazioni nell'arco dei tre anni); numero di inviti per afferente, almeno parzialmente finanziati e/o di indubbio prestigio, a intervenire presso convegni, workshop, scuole, seminari di studio o altro evento.
Obiettivo b: consolidamento dell'attrattività internazionale del Dipartimento.
Monitoraggio: Riesame 2015
Scadenza: 2017
Indicatori: Settimane di visita effettuate da ospiti stranieri in permanenza presso il DIMI per almeno una settimana; ricercatori italiani o stranieri provenienti dall'estero che hanno ottenuto assegni di ricerca in rapporto al numero dei bandi attivi presso il DIMI; presenza in comitati di programma di conferenza internazionale (con ruolo di primo piano, non limitato alla revisione di contributi agli atti) e in comitati editoriali di rivista internazionale (con ruolo di Editor o Associate Editor)
Obiettivo c: Consolidamento delle collaborazioni alla ricerca svolte assieme a enti pubblici e privati.
Monitoraggio: Riesame 2015
Scadenza: 2017
Indicatori: Numero di progetti di ricerca finanziati da parte di enti pubblici e da parte di soggetti privati; numero di visite all'estero superiori a 14 gg da parte degli afferenti.
Sezione B - Sistema di gestione
Pdf inserito: visualizza
Schede inserite da questa Struttura
| N. | Nome gruppo | Responsabile scientifico/Coordinatore | Num.Componenti (compreso il Responsabile) | Altro Personale |
|---|---|---|---|---|
| 1. | Analisi di reti | FRANCESCHET Massimo | 2 | |
| 2. | Geometria birazionale delle varietà di Fano e varietà di Grassmann | ZUCCONI Francesco | 2 | dr. Luca Rizzi, Università di Udine |
| 3. | Constraint & Logic Programming | DOVIER Agostino | 6 | Federico Fogolari PA (UNIUD, DSMB); Andrea Formisano PA (Univ. di Perugia, Dipartimento di Matematica e Informatica); Enrico Pontelli PO, Regents Professor and Interim Associate Dean (New Mexico State University, Computer Science Department); Alessandro Dal Palu' PA (Univ. di Parma, Dipartimento di Matematica e Informatica) |
| 4. | Strutture algebriche di incidenza | FRENI Domenico | 1 | Dario Fasino (DCFA, Udine) Mario De Salvo (Dip. Matematica e Informatica, Univ. Messina) Giovanni Lo Faro (Dip. Matematica e Informatica, Univ. Messina) |
| 5. | Metodi numerici per sistemi dinamici | VERMIGLIO Rossana | 2 | Davide Liessi, dottorando DIMI, univ. di Udine Stefano Maset Università di Trieste (Italia) Odo Diekmann University of Utrecht (Paesi Bassi) Alexandre Ern Cermics-Parigi (Francia) Julia Sanchez Sanz BCAM - Basque Center for Applied Mathematics Bilbao (Spain) Francesca Scarabel University of Helsinki (Finlandia) |
| 6. | Ottimizzazione | SERAFINI Paolo | 3 | |
| 7. | Metodi algebrici e analitici per i gruppi topologici | GIORDANO BRUNO Anna | 5 | Saak Gabriyelyan, Keneth Kunen, Lorenzo De Leo, Raffaele Di Santo, Vazha Tarieladze, Enrico Zoli, , Alberto Tonolo. |
| 8. | Misure e topologie su strutture non-Booleane | WEBER Hans | 2 | Anna Avallone, Paolo Vitolo; David Buhagiar (Malta), Emanuel Chetcuti (Malta) |
| 9. | Modelli e Applicazioni dei Sistemi Distribuiti | MICULAN Marino | 3 | |
| 10. | Interazione Uomo-Macchina | CHITTARO Luca | 7 | |
| 11. | Bioinformatica | POLICRITI Alberto | 6 | Alexandru Tomescu (University of Helsinki) Francesco Vezzi (Karolinska Institutet and SciLifeLab, Stockholm) Bud Misrha (New York University) Alessandra Carbone (CNRS and Université Pierre et Marie Curie) |
| 12. | Visione Artificiale e Sistemi Real-Time (AVIRES) | FORESTI Gian Luca | 9 | prof. Luigi Cinque (Università di Roma La Sapienza), Dott. Danilo Avola (Università di Roma La Sapienza), Dott. Mirko Privitera |
| 13. | Metodi Formali e Logiche di programmi | HONSELL Furio | 6 | Luigi Liquori |
| 14. | Web Information Retrieval | MIZZARO Stefano | 3 | |
| 15. | Logiche temporali, automi e giochi | MONTANARI Angelo | 4 | Davide Bresolin (ricercatore di tipo A, Università di Bologna) Dario Della Monica (postdoctoral researcher, ICE-TCS, School of Computer Science, Reykjavik University, Iceland) Valentin Goranko (professor, Department of Philosophy, Stockholm University, Sweden) Gabriele Puppis (CNRS researcher at LaBRI, Bordeaux, France) Mark Reynolds (professor, School of Computer Science and Software Engineering, University of Western Australia, Australia) Pietro Sala (assegnista di ricerca, Università di Verona) Guido Sciavicco (full time researcher under the Ramon y Cajal Fellowship, Departamento de Ingenieria de la Información y las comunicaciones Universidad de Murcia) |
| 16. | Basi di dati e sistemi informativi geografici | MONTANARI Angelo | 4 | Paolo Gallo (assegnista di ricerca, Univ. Udine) Donatella Gubiani (Università di Nova Gorica) |
| 17. | Entropia per sistemi dinamici di natura algebrica e topologica | DIKRANJAN Dikran Nichan | 2 | Simone Virili, Luigi Salce, Paolo Zanardo, Manuel Sanchis, Fatemah A. Z. Shirazi, Hans Peter Kunzi, Federico Berlai |
Schede inserite da altra Struttura (tra i componenti risultano persone afferenti a questa Struttura).
| N. | Nome gruppo | Responsabile scientifico/Coordinatore | Num.Componenti (compreso il Responsabile) | Altro Personale |
|---|---|---|---|---|
| 1. | MAGIC (Major Atmosferic Gamma ray Imaging Cherenkov telescope) | DE LOTTO Barbara (Chimica, Fisica e Ambiente) | 7 | Francesco Longo, Massimo Persic, Omar Tibolla, Michele Peresano |
| 2. | Refrigerazione commerciale | CORTELLA Giovanni (Ingegneria Elettrica, Gestionale e Meccanica) | 4 | Gullo Paride, DIEGM; Polzot Alessio, DIEGM |
| 3. | Fisica tecnica ambientale | SARO Onorio (Ingegneria Elettrica, Gestionale e Meccanica) | 4 | Giulio Lorenzini, Università di Parma |
| 4. | Sistemi Dinamici e Sistemi Distribuiti | CASAGRANDE Daniele (Ingegneria Elettrica, Gestionale e Meccanica) | 10 | Jens Rohlfing assegnista DIEGM; Emanuele Turco assegnista/dottorando DIEGM; Stefan Wieser assegnista DIEGM; |
| 5. | Fluidodinamica | MARCHIOLI Cristian (Ingegneria Elettrica, Gestionale e Meccanica) | 11 | Marco De Paoli, DIEGM; Helge Ingolf Andersson, NTNU, Trondheim (Norvegia) Sergio Chibbaro, UPMC Paris VI, Parigi (Francia) Elisabeth Guazzelli, IUSTI, Universitè Aix-Marseille, Marseille (Francia) Federico Toschi, TU Eindhoven, Eindhoven (Olanda) Jean-Pierre Minier, EDF, Chatou (France) Maria Vittoria Salvetti, Università di Pisa (Italia) Martin Sommerfeld, Halle-Wittenberg University, Halle (Germania) Jacek Pozorski, Gdansk University, Gdansk (Poland) Eric Climent, IMFT Toulouse, Francia Alessandro Capone, Univ Udine, Ctr Interdipartimentale Fluidodinam & Idraul, I-33100 Udine, Italy Giovanni Paolo Romano, Univ Roma La Sapienza, Dept Mech & Aeronaut, I-00184 Rome, Italy Stella Dearing, Univ Udine, Ctr Interdipartimentale Fluidodinam & Idraul, I-33100 Udine, Italy Michel Deville, Ecole Polytech Fed Lausanne, STI DO, Stn 12, CH-1015 Lausanne, Switzerland Christoph Bossard, Paul Scherrer Inst, Lab Thermalhydraul LTH, CH-5232 Villigen, Switzerland Adbelouahab Dehbi, Paul Scherrer Inst, Lab Thermalhydraul LTH, CH-5232 Villigen, Switzerland Emmanuel Leriche, Univ Lille 1, Lab Mecan Lille, F-59655 Villeneuve Dascq, France Francesco Curcio, Univ Udine, Dept Biol & Med Sci, I-33100 Udine, Italy Narinder Rawal, Univ Hosp, Dept Anaesthesiol & Intens Care, S-70185 Orebro, Sweden Prasad Perlekar, Tech Univ Eindhoven, Dept Appl Phys & Math & Comp Sci, Eindhoven, Netherlands Mauro Sbragaglia, Univ Roma Tor Vergata, Dipartimento Fis, I-00133 Rome, Italy Kim Dan Nguyen, Univ Paris Est, Paris, France James T. Jenkins, Cornell Univ, Ithaca, NY 14853 USA Berend van Wachem, Imperial College of London, UK |
Informazioni non pubbliche
Informazioni non pubbliche
Sezione C - Risorse umane e infrastrutture
Quadro C.1 - Infrastrutture
Presso il Dipartimento di Matematica e Informatica dell'Università degli Studi di Udine sono attivi i seguenti 19 Laboratori di ricerca:
1. Interazione Uomo-Macchina, responsabile Prof. Chittaro, http://hcilab.uniud.it/it.
2. Dinamica dei Sistemi, responsabile Prof. Blanchini, https://users.dimi.uniud.it/~franco.blanchini/SysDynLab.html.
3. Visione Artificiale e Sistemi Real-Time, responsabile Prof. Foresti, http://avires.dimi.uniud.it.
4. Realtà Virtuale Multisensoriale, responsabili Prof. Fontana e Dott. Ranon.
5. Informatica Medica e Telemedicina, responsabile Dott. Della Mea, http://mitel.dimi.uniud.it/mitel2.
6. Immagini, responsabile Prof. Roberto.
7. Didattica dell'Informatica, responsabile Dott. Mirolo, http://nid.dimi.uniud.it.
8. Ingegneria del Software e Sistemi Informativi, responsabile Prof. Pighin http://www.pighin.it/Universita/softeng.htm.
9. Modelli e Applicazioni dei Sistemi Distribuiti, responsabile Prof. Miculan, http://mads.dimi.uniud.it/.
10. Qualità del Web, responsabile Dott. Brajnik.
11. Robotica, responsabile Dott. D'Angelo.
12. Sistemi Mobili Dipendenti dal Contesto, responsabili Prof. Mizzaro e Prof. Coppola, http://smdc.uniud.it/smdc.
13. Ricerca Operativa, responsabili Prof. Lancia, Prof.sa Rinaldi e Prof. Serafini.
14. Basi di Dati e Sistemi Multimediali, responsabile Prof. Montanari, http://dbms.dimi.uniud.it.
15. Bioinformatica, Verifica e Calcolo Parallelo, responsabile Prof. Policriti, http://bioinf.dimi.uniud.it.
16. Constraint and Logic Programming, responsabile Prof. Dovier, http://clp.dimi.uniud.it.
17. Verifica Programmi, Honsell.
18. Intelligenza Artificiale, responsabile Prof. Tasso, http://users.dimi.uniud.it/~carlo.tasso/gruppoia.html.
19. Web Semantico adattivo e sociale (Gorizia), responsabile Dott.sa Dattolo, http://sasweb.uniud.it.
Una breve descrizione dei laboratori viene fornita nel file allegato.
Pdf inserito: visualizza
1. Interazione Uomo-Macchina, responsabile Prof. Chittaro, http://hcilab.uniud.it/it.
2. Dinamica dei Sistemi, responsabile Prof. Blanchini, https://users.dimi.uniud.it/~franco.blanchini/SysDynLab.html.
3. Visione Artificiale e Sistemi Real-Time, responsabile Prof. Foresti, http://avires.dimi.uniud.it.
4. Realtà Virtuale Multisensoriale, responsabili Prof. Fontana e Dott. Ranon.
5. Informatica Medica e Telemedicina, responsabile Dott. Della Mea, http://mitel.dimi.uniud.it/mitel2.
6. Immagini, responsabile Prof. Roberto.
7. Didattica dell'Informatica, responsabile Dott. Mirolo, http://nid.dimi.uniud.it.
8. Ingegneria del Software e Sistemi Informativi, responsabile Prof. Pighin http://www.pighin.it/Universita/softeng.htm.
9. Modelli e Applicazioni dei Sistemi Distribuiti, responsabile Prof. Miculan, http://mads.dimi.uniud.it/.
10. Qualità del Web, responsabile Dott. Brajnik.
11. Robotica, responsabile Dott. D'Angelo.
12. Sistemi Mobili Dipendenti dal Contesto, responsabili Prof. Mizzaro e Prof. Coppola, http://smdc.uniud.it/smdc.
13. Ricerca Operativa, responsabili Prof. Lancia, Prof.sa Rinaldi e Prof. Serafini.
14. Basi di Dati e Sistemi Multimediali, responsabile Prof. Montanari, http://dbms.dimi.uniud.it.
15. Bioinformatica, Verifica e Calcolo Parallelo, responsabile Prof. Policriti, http://bioinf.dimi.uniud.it.
16. Constraint and Logic Programming, responsabile Prof. Dovier, http://clp.dimi.uniud.it.
17. Verifica Programmi, Honsell.
18. Intelligenza Artificiale, responsabile Prof. Tasso, http://users.dimi.uniud.it/~carlo.tasso/gruppoia.html.
19. Web Semantico adattivo e sociale (Gorizia), responsabile Dott.sa Dattolo, http://sasweb.uniud.it.
Una breve descrizione dei laboratori viene fornita nel file allegato.
Pdf inserito: visualizza
No record found
Ad uso esclusivo della struttura (inserite dalla Struttura)
| N. | Nome | Sito web | Numero di monografie cartacee | Numero di annate di riviste cartacee | Numero di testate di riviste cartacee |
|---|
In condivisione con altre strutture (inserite dall'Ateneo)
| N. | Nome | Sito web | Numero di monografie cartacee | Numero di annate di riviste cartacee | Numero di testate di riviste cartacee |
|---|---|---|---|---|---|
| 1. | Sistema Bibliotecario di Ateneo | http://www.uniud.it/extra/sba | 555.948 | 279.467 | 1.862 |
Quadro C.2 - Risorse umane
-
- Prof. Ordinari [20]
-
- Prof. Associati [21]
-
- Ricercatori [26]
-
- Assistenti [0]
-
- Prof. Ordinario r.e. [0]
-
- Straordinari a t.d. [0]
-
- Ricercatori a t.d. [0]
-
- Assegnisti [16]
-
- Dottorandi [28]
-
- Attiv. didattica e di ricerca [0]
-
- Specializzandi [0]
Ricercatori
Situazione al 31/12/2013 ricavata dagli archivi Miur-Cineca (docenti/loginmiur certificati dall'Ateneo) aggiornati al 16/03/2015 15:56.
| N. | Cognome | Nome | Qualifica | Area Cun | Area Vqr | SSD |
|---|---|---|---|---|---|---|
| 1. | ANSOLDI | Stefano | Ricercatore confermato | 02 | 02 | FIS/02 |
| 2. | BAITI | Paolo | Ricercatore confermato | 01 | 01 | MAT/05 |
| 3. | BALLIS | Demis | Ricercatore confermato | 01 | 01 | INF/01 |
| 4. | BARBIERI | Giuseppina Gerarda | Ricercatore confermato | 01 | 01 | MAT/05 |
| 5. | BOZZO | Enrico | Ricercatore confermato | 01 | 01 | MAT/08 |
| 6. | BRAJNIK | Giorgio | Ricercatore confermato | 09 | 09 | ING-INF/05 |
| 7. | BREDA | Dimitri | Ricercatore confermato | 01 | 01 | MAT/08 |
| 8. | BURIGAT | Stefano | Ricercatore confermato | 01 | 01 | INF/01 |
| 9. | D'ANGELO | Antonio | Ricercatore confermato | 09 | 09 | ING-INF/05 |
| 10. | DATTOLO | Antonina | Ricercatore confermato | 01 | 01 | INF/01 |
| 11. | DE POI | Pietro | Ricercatore confermato | 01 | 01 | MAT/03 |
| 12. | DELLA MEA | Vincenzo | Ricercatore confermato | 09 | 09 | ING-INF/05 |
| 13. | DRIOLI | Carlo | Ricercatore non confermato | 09 | 09 | ING-INF/05 |
| 14. | FONTANA | Federico | Ricercatore confermato | 01 | 01 | INF/01 |
| 15. | FRANCESCHET | Massimo | Ricercatore confermato | 01 | 01 | INF/01 |
| 16. | FRENI | Domenico | Ricercatore confermato | 01 | 01 | MAT/03 |
| 17. | GIORDANO BRUNO | Anna | Ricercatore non confermato | 01 | 01 | MAT/02 |
| 18. | MICHELONI | Christian | Ricercatore confermato | 01 | 01 | INF/01 |
| 19. | MIROLO | Claudio | Ricercatore confermato | 01 | 01 | INF/01 |
| 20. | PICIARELLI | Claudio | Ricercatore confermato | 01 | 01 | INF/01 |
| 21. | RANON | Roberto | Ricercatore confermato | 09 | 09 | ING-INF/05 |
| 22. | SCAGNETTO | Ivan | Ricercatore confermato | 01 | 01 | INF/01 |
| 23. | SNIDARO | Lauro | Ricercatore confermato | 01 | 01 | INF/01 |
| 24. | TOADER | Rodica | Ricercatore confermato | 01 | 01 | MAT/05 |
| 25. | VITACOLONNA | Nicola | Ricercatore confermato | 01 | 01 | INF/01 |
| 26. | ZUDDAS | Fabio | Ricercatore non confermato | 01 | 01 | MAT/03 |
Personale di ruolo
| Area Amministrativa | 4 |
|---|---|
| Area Servizi Generali e Tecnici | 0 |
| Area Socio - Sanitaria | 0 |
| Area Tecnica, Tecnico - Scientifica ed Elaborazione dati | 3 |
| Area Biblioteche | 0 |
| Area Amministrativa - Gestionale | 1 |
| Area Medico - Odontoiatrica e Socio - Sanitaria | 0 |
| Area non definita | 0 |
Personale con contratto a tempo determinato
| Area Amministrativa | 0 |
|---|---|
| Area Servizi Generali e Tecnici | 0 |
| Area Socio - Sanitaria | 0 |
| Area Tecnica, Tecnico - Scientifica ed Elaborazione dati | 0 |
| Area Biblioteche | 0 |
| Area Amministrativa - Gestionale | 0 |
| Area Medico - Odontoiatrica e Socio - Sanitaria | 0 |
| Area non definita | 0 |