Accedi ai contenuti del sito della scuola
Corso di Laurea Magistrale in
Informatica
Commissioni d'esame 2017/2018 - Secondo Semestre
| Corsi Magistrale, Anno Accademico 17-18, II Semestre | ||||
| Codice | Esame | Titolare/i attività didattica (*) | Commissari (membri ulteriori) | COMMISSIONE |
| B027520 | ADVANCED STATISTICAL MODELS – MOD. A | GRILLI, RAMPICHINI | Insegnamento mutuato da: B004630 - MODELLI STATISTICI (AVANZATO) Corso di Laurea Magistrale in STATISTICA, SCIENZE ATTUARIALI E FINANZIARIE |
Dreassi, Grilli, Rampichini |
| B027526 | ADVANCED STATISTICAL MODELS – MOD. B | GRILLI, RAMPICHINI | Insegnamento mutuato da: B004630 - MODELLI STATISTICI (AVANZATO) Corso di Laurea Magistrale in STATISTICA, SCIENZE ATTUARIALI E FINANZIARIE |
Dreassi, Grilli, Rampichini |
| B027557 | ADVANCED TOPICS IN PROGRAMMING LANGUAGES | VENNERI | --- | |
| B027565 | APPROXIMATION METHODS | BRUGNANO | Insegnamento mutuato da: B012965 - MODELLI NUMERICI PER LA SIMULAZIONE Corso di Laurea Magistrale in MATEMATICA Curricula APPLICATIVO |
Brugnano, Giannelli, Sestini |
| B027560 | ARCHITECTURES AND METHODS FOR SOFTWARE ENGINEERING | VICARIO | Insegnamento mutuato da: B024307 - SOFTWARE ARCHITECTURES AND METHODOLOGIES Corso di Laurea Magistrale in INGEGNERIA INFORMATICA |
--- |
| B027562 | COMPUTER FORENSICS | PIETROPAOLI | MutuazioniInsegnamento mutuato da: B019434 - INFORMATICA GIURIDICA Corso di Laurea Magistrale Ciclo Unico 5 anni in GIURISPRUDENZA |
Pietropaoli Stefano, Faini Fernanda |
| B027502 | DATA SECURITY AND PRIVACY | BOREALE | Boreale, Merlini, Verri | |
| B014443 | DATA WAREHOUSING | GORI, MARTELLI | Gori, Martelli | |
| B027549 | DISTRIBUTED REAL TIME CYBER PHYSICAL SYSTEMS | BONDAVALLI , CECCARELLI | Bondavalli, Ceccarelli, Lollini | |
| B027512 | INFORMATION RETRIEVAL AND SEMANTIC WEB TECHNOLOGIES | FRANCESCONI | Francesconi, Merlini, Verri | |
| B027536 | NUMERICAL METHODS FOR GRAPHICS | CONTI, GIANNELLI | Conti, Giannelli, Sestini | |
| B027533 | OPTIMIZATION OF COMPLEX SYSTEMS | SCIANDRONE | Insegnamento mutuato da: B024334 - OPTIMIZATION OF COMPLEX SYSTEMS Corso di Laurea Magistrale in INGEGNERIA INFORMATICA |
Sciandrone, Schoen, Cappanera |
| Corsi Magistrale Anno Accademico 16-17, II Semestre | ||||
| Codice | Esame | Titolare/i attività didattica(*) | Commissari (membri ulteriori) | |
| B012483 | Analisi quantitativa dei sistemi | Bondavalli Andrea | Ferrari | |
| Lollini Paolo | ||||
| Chiaradonna Silvano | ||||
| B006822 | Codici e sicurezza | Boreale Michele | Bondavalli, Loreti, Pugliese | |
| B014443 | Data Warehousing | Martelli Cristina | Merlini, Verri | |
| Gori Alessandro | ||||
| B012501 | Documentazione automatica | Francesconi Enrico | Crescenzi, Merlini, Verri | |
| B014445 | Interazione Uomo Macchina | Verri Maria Cecilia | Merlini, Venneri | |
| B010818 | Metodi di Verifica e Testing | Vicario Enrico | mutua da B010484 - METODI DI VERIFICA E TESTING (B070 LM Ingegneria Informatica) | |
| B012519 | Metodi numerici per la grafica | Sestini Alessandra | Bellavia, Brugnano, Giannelli, Morini | |
| Conti Costanza | ||||
| B015701 | Metodi numerici per l’ottimizzazione | Stefania Bellavia | Mutua da B018804 – (B077) Ottimizzazione numerica | |
| Benedetta Morini | ||||
| B014447 | Reti neurali | Landi Gregorio | Bini | |
| B012511 | Teoria dei linguaggi di programmazione | Venneri Battistina | Bettini, Crescenzi, Loreti, Pugliese | |
| B012523 | Teoria dell’Informazione | Landi Gregorio | Bini | |
| Insegnamenti disattivati | ||||
| B012497 | Algoritmica | Verri Maria Cecilia | Barcucci, Crescenzi, Merlini | |
| B012481 | Analisi degli algoritmi e delle strutture dati | Merlini Donatella | Verri, Crescenzi, Barcucci | |
| B012491 | Progettazione di algoritmi e complessità computazionale | Crescenzi Pierluigi | Loreti, Merlini, Pugliese, Venneri, Verri | |
| B012495 | Algoritmi per reti di calcolatori | Crescenzi Pierluigi | Boreale, Loreti, Merlini, Pugliese, Venneri, Verri. | |
| B012503 | Paradigmi e tecniche avanzate di programmazione | Barcucci Elena | Ferrari, Venneri | |
| B018967 | Sistemi Distribuiti e Reti di Calcolatori | P. Crescenzi | Loreti, Pugliese, Venneri | |
| B012507 | Strutture per basi di dati | Verri M. Cecilia | Barcucci, Merlini, | |
| B012509 | Tecniche di verifica e valutazione di sistemi | Pugliese Rosario | Loreti | |
| B012521 | Modelli e calcoli per la fisica | Landi Gregorio | mutua da B014447 RETI NEURALI (B059 LM Informatica) | |
| B014448 | Ricerca operativa | Barcucci Elena | Sestini, Venneri | |
| B015703 | Teoria e tecniche decisionali | Barcucci Elena | Merlini, Venneri | |
| Corso di Laurea Specialistica in Scienze e Tecnologie dell’Informazione - 0882 | ||||
| Codice | Esame | Titolare/i attività didattica(*) | Commissari (membri ulteriori) | |
| 106165 | Affidabilità dei sistemi di elaborazione | Andrea Bondavalli | Lollini | |
| 106166 | Algoritmi per Reti di Calcolatori | Crescenzi Pierluigi | Boreale, Loreti, Merlini, Pugliese, Venneri, Verri. | |
| 105827 | Analisi degli algoritmi e delle strutture dati | Merlini Donatella | Boreale, Crescenzi, Loreti, Verri | |
| 105828 | Analisi numerica: metodologie avanzate | Sestini Alessandra | Bellavia, Brugnano, Papini | |
| 105948 | Applicazioni di sistemi informativi | Merlini Donatella | Venneri, Verri | |
| 106375 | Attività Seminariali I su Applicazioni Scientifiche dell’Informatica | Brugnano Luigi | Bellavia, Papini, Sestini, Vespri | |
| 106371 | Attività Seminariali I su Sistemi Distribuiti: Fond., Ling. E Appl. | Venneri Battistina | Boreale, Loreti, Pugliese | |
| 106373 | Attività Seminariali I su Teoria e Applicazioni delle Strutture Dati | Verri M. Cecilia | Barcucci, Merlini, Gori | |
| 106376 | Attività Seminariali II su Applicazioni Scientifiche dell’Informatica | Brugnano Luigi | Bellavia, Papini, Sestini, Vespri | |
| 106372 | Attività Seminariali II su Sistemi Distribuiti: Fond., Ling. E Appl. | Venneri Battistina | Boreale, Loreti, Pugliese | |
| 106374 | Attività Seminariali II su Teoria e Applicazioni delle Strutture Dati | Verri M. Cecilia | Barcucci, Merlini, Gori | |
| 105829 | Data Warehousing e data mining | A. Gori | Barcucci, Martelli, Merlini, Verri | |
| 105949 | Documentazione automatica | E. Francesconi | Merlini, Verri | |
| 105950 | Fondamenti di Linguaggi di programmazione | Venneri Battistina | Crescenzi, Loreti, Pugliese | |
| 106168 | Fondamenti di programmazione dichiarativa e funzionale | Barcucci Elena | Venneri, Verri, Ferrari | |
| 105951 | Informatica e organizzazione | Bencini A. | Bocci, Verri | |
| 105834 | Intelligenza artificiale | Frasconi P. | S. Marinai | |
| 105186 | Laboratorio di calcolo numerico | Sestini Alessandra | Bellavia, Brugnano, Papini | |
| 105191 | Laboratorio di Fisica | Fort Chiara | G. Modugno, L. Fallani | |
| 105952 | Linguaggi e modelli per sistemi mobili | Pugliese Rosario | Boreale, Loreti, Venneri | |
| 105953 | Logica Computazionale | Mundici Daniele | Casolo, Pannone | |
| 106307 | Logica Fuzzy | Mundici Daniele | Casolo, Pannone | |
| 106308 | Metodi di approssimazione II | Brugnano Luigi | Bellavia, Papini, Sestini | |
| 105954 | Metodi e Strumenti per l’Analisi e la Verifica | Pugliese Rosario | Loreti | |
| 105830 | Metodi formali per la programmazione | Loreti Michele | Pugliese, Boreale, Crescenzi, Venneri | |
| 105831 | Metodi Numerici per la Grafica I | Sestini Alessandra | Bellavia, Brugnano, Morandi, Papini | |
| 105956 | Metodi Statistici per l’Analisi dei Dati | L. Grilli | Rampichini | |
| 105832 | Metodologie di Valutazione dell’Interazione Uomo Macchina | Verri M. Cecilia | Crescenzi, Merlini | |
| 106399 | Modellistica combinatoria | Verri M. Cecilia | Merlini, Ferrari | |
| 105957 | Organizzazione dei Sistemi Informativi | Verri M. Cecilia | Barcucci, Merlini | |
| 105305 | Ricerca operativa | Verri M. Cecilia | Sestini, Venneri | |
| 105958 | Sicurezza delle reti: principi e applicazioni | Boreale Michele | Bondavalli, Loreti, Pugliese | |
| 105959 | Sistemi Informativi Distribuiti | Merlini Donatella | Gori, Verri | |
| 105833 | Teoria dell’Informazione | Landi Gregorio | Bini | |
ULTIMO AGGIORNAMENTO
17.05.2023