Regolamento Didattico del Corso di Laurea Specialistica in Tecnologie Informatiche (Bozza)

 

1.       Obiettivi formativi

Il Corso di Laurea Specialistica in Tecnologie Informatiche ha come obiettivo la formazione della figura professionale del software architect: specialista in grado di creare l’architettura di sistemi software complessi, realizzati adottando tecnologie software moderne, con caratteristiche originali e innovative.  Il laureato in Tecnologie Informatiche riceverà una solida formazione sui fondamenti sia generali sia specifici al proprio settore di specializzazione, e sarà dotato di una preparazione tecnica rispondente alle esigenze di un rapido inserimento nel mondo del lavoro nel settore delle tecnologie dell’informazione e della comunicazione. La preparazione specifica del laureato in Tecnologie Informatiche gli permetterà di rivestire ruoli di responsabilità, di contribuire all’innovazione tecnologica, nonché di accedere ai livelli di studio universitario successivi (dottorato).

Lo specialista in tecnologie informatiche sarà in grado di:

padroneggiare specifiche articolate e complesse come quelle prodotte da gruppi di lavoro internazionali

contribuire alla definizione di tali specifiche

concettualizzare e sperimentare con approcci architetturali alternativi

creare modelli, componenti e documenti di specifica di interfacce

validare un’architettura rispetto a requisiti e assunzioni

padroneggiare gli strumenti e le tecniche necessari alla realizzazione delle architetture

guidare tutti gli aspetti della realizzazione di un’architettura software: dalla concezione, al finanziamento, alla predisposizione del “cantiere”, alla realizzazione, alla messa in servizio, alla sua evoluzione.

 

2.      Articolazione del corso di studio

Il corso di studio prevede il riconoscimento di tutti i crediti acquisiti nelle Lauree della classe delle Lauree in Scienze e Tecnologie Informatiche (classe 26), dell’Università di Pisa.

I due anni del corso di studio prevedono:

       esami fondamentali nel settore INF/01 per 42 Crediti Formativi Universitari (CFU),

       esami di percorso nel settore INF/01 per 18 CFU,

       esami interdisciplinari per 12 CFU,

       laboratorio orientato alle applicazioni per 12 CFU

       esami complementari, nel settore INF/01, per 6 CFU

       esami a scelta dello studente per 6 CFU

       preparazione della prova finale per 24 CFU

I corsi fondamentali comprendono un nucleo di 4 insegnamenti, che coprono le tecnologie essenziali per la progettazione e realizzazione di sistemi software complessi e comuni a tutti i percorsi: Costruzione di interfacce, Sistemi intelligenti, Programmazione avanzata, Architetture parallele e distribuite. È inoltre previsto un corso su linguaggi e calcolabilità, necessario per conoscere i concetti, le potenzialità espressive e i limiti dei linguaggi e dei sistemi di elaborazione.

I corsi del nucleo sono organizzati in due parti: una di fondamenti e una di tecnologie, normalmente insegnati dallo stesso docente.

La laurea specialistica in Tecnologie Informatiche offre alcuni percorsi di studio, ciascuno per complessivi 18 crediti, incentrati su aree di rilievo e di largo respiro, correlate alle attività di ricerca del dipartimento: Piattaforme abilitanti ad alte prestazioni, Basi di Dati e Sistemi Informativi, Comunicazione e interazione, Tecnologie di programmazione e linguaggi, Sistemi intelligenti.

I percorsi sono stati progettati sulla base di un’area tecnologica informatica piuttosto che sulla base di un campo applicativo.

È offerto un corso di laboratorio orientato alle applicazioni (di 12 CFU), che sarà in genere trasversale agli indirizzi e ai fondamentali del nucleo, ed il cui contenuto sarà definito anno per anno, anche per adeguarsi all'evolvere delle applicazioni.

 

3.      Elenco degli insegnamenti fondamentali con i loro contenuti

Di seguito si elencano gli insegnamenti fondamentali del corso di studio, con una sintesi del loro contenuto e dei crediti attribuiti.

 

Esami fondamentali di Informatica.

 

·         Costruzione di interfacce       (9 CFU)

Fondamenti (3 crediti):

-          Sistemi grafici

-          Fondamenti di grafica

-          Rendering

-          Modellazione geometrica

Tecnologie (6 crediti):

-          Progetto di interfacce grafiche

-          Librerie e framework per la grafica

-          Programmazione di interfacce grafiche

 

·         Sistemi Intelligenti                        (6 CFU)

Fondamenti (6 crediti):

-          Introduzione all'Intelligenza Artificiale e agli agenti intelligenti

-          Risoluzione dei problemi come ricerca

-          Rappresentazione della conoscenza e ragionamento

-          Pianificazione

-          Apprendimento automatico

 

·         Programmazione Avanzata               (12 CFU)

Fondamenti (6 crediti)

-          Analisi sintattica: scanner, parser, grammatiche LL(1) e LR(k)

-          Ambienti run-time: modello di esecuzione, loading/linking, librerie statiche/dinamiche, thread e thread safety

-          Design pattern, framework, skeleton

-          Programmazione a componenti: COM, CORBA, .NET

-          Programmazione generica: generative programming, template programming, reflection

-          Modelli di calcolo per il Web computing

Tecnologie (6 crediti):

-          Programmazione di rete: middleware, client/server, messaging and transaction server

-          Web services; interoperabilità; RPC

-          Scripting

 

·         Architetture Parallele e Distribuite      (9 CFU)

Fondamenti (6 crediti):

-          Sistemi hardware-software ad alte prestazioni, con enfasi sui sistemi commerciali superscalari, multiprocessor e network computer

-          Meccanismi di coordinamento di sistemi paralleli e distribuiti

-          Metodologie di integrazione di strumenti e servizi

-          Meccanismi di base per la sicurezza (autenticazione, controllo dei diritti, dell'integrità)

Tecnologie (3 crediti):

-          Politiche di sicurezza per applicazioni di rete (crittografia, autenticazione, firewalling)

-          Amministrazione di sistemi e di servizi di rete

 

·         Linguaggi e calcolabilità                            (6 CFU)

Fondamenti (6 crediti)

-          Calcolabilità: funzioni ricorsive, totalità e diagonalizzazione, problemi insolubili

-          Elementi di semantica

-          Sistemi di tipi

-          Ambiente, scoping, parametri, moduli, classi, gestione della memoria

-          Analisi statica

 

Formazione Interdisciplinare

12 crediti a scelta tra i seguenti corsi

 

·         Ottimizzazione combinatoria                    (CFU: 6)

-      Introduzione

-      Ottimalità ed algoritmi

-      Algoritmi euristici

-      Tecniche di rilassamento

-      Algoritmi enumerativi

 

·         Matematica computazionale                     (CFU: 6)

-      Elementi di teoria delle matrici.

-      Metodi iterativi per sistemi lineari.

-      Metodi per il calcolo degli autovalori.

-      Il problema lineare dei minimi quadrati.

-      Matrici con struttura e applicazioni a problemi differenziali.

-      Approssimazione di funzioni.

 

·         Fisica II                                                    (CFU: 6)

 

·         Telecomunicazioni                                                (CFU: 6)

 

  1. Percorsi

 

Piattaforme abilitanti ad alte prestazioni (18 crediti)

 

I 18 crediti vanno scelti:

       6 nel gruppo: Architetture avanzate, Complementi di calcolo parallelo e distribuito, Laboratorio di calcolo parallelo e distribuito e Applicazioni parallele e distribuite.

       6 nel gruppo precedente esteso con Sicurezza nelle reti informatiche 1 e 2, Software di base per reti e sistemi distribuiti e Laboratorio di software di base per reti e sistemi distribuiti.

       6 liberamente scelti dallo studente fra tutti gli esami di questo gruppo

 

·         Architetture avanzate                                                                    (6 CFU)

·         Complementi di calcolo parallelo e distribuito                              (6 CFU)

·         Laboratorio di calcolo parallelo e distribuito                                 (6 CFU)

·         Applicazioni parallele e distribuite                                                (6 CFU)

·         Sicurezza nelle reti informatiche 1 e 2                                           (6+6 CFU)

-          Iindividuazione, sia durante l'analisi di sistemi esistenti che durante la progettazione di nuovi sistemi, dei possibili punti di attacco

-          Studio di strumenti (hardware e software) da utilizzare per proteggere il sistema e permettere agli utenti di interagire con esso in maniera sicura

-          Tecniche necessarie a riportare il sistema ad un corretto funzionamento, a individuare i dati che sono stati violati e a identificare i pirati informatici.

·         Software di base per reti e sistemi distribuiti                                 (6 CFU)

-          Meccanismi e strumenti per la programmazione concorrente/distribuita

-          (con riferimento ad architetture POSIX)

-          Strutturazione di sistemi distribuiti

-          Algoritmi per la coordinazione distribuita

-          File system distribuiti

-          Fault tollerance

·         Laboratorio di software di base per reti e sistemi distribuiti          (6 CFU)

-          Richiami di programmazione di sistema POSIX

-          Processi e thread POSIX

-          Meccanisimi di sincronizzazione e condivisione

-          Socket

-          RPC

·         Algoritmi per Internet e Web: routing e gestione di pagine web     (3 CFU)

·         Algoritmi per Internet e Web: crittografia                                     (3 CFU)

·         Complementi di gestione di reti                                                    (6 CFU)

·         Sistemi affidabili                                                                            (6 CFU)

-          dependability dei sistemi di elaborazione (hardware-software)

-          tecnicche di prevenzione, tolleranza, eliminazione e previsione dei guasti

-          validazione di sistemi dependable.

·         Laboratorio di compilatori                                                            (6 CFU)

-          Introduzione al Synthesizer Generator

-          Utilizzo di editori dimostrativi

-          Definizione del progetto

-          Configurazione di un editore

-          Uso degli attributi per i controlli di correttezza del programma

 

Basi di Dati e Sistemi  Informativi (18 crediti)

 

·         Basi di dati: strutture e algoritmi e laboratorio                              (6+6 CFU)

-          I moduli funzionali di un sistema per basi di dati.

-          Le strutture di memorizzazione. La gestione delle transazioni e della concorrenza

-          Ottimizzazione delle interrogazioni

-          La progettazione di applicazioni per basi di dati

-          Un sistema commerciale. Strumenti per la realizzazione di applicazioni su WEB

-          Realizzazione di un'applicazione

·         Basi di dati distribuite e parallele                                                  (6 CFU)

·         Basi di dati deduttive                                                                     (6 CFU)

-          Basi di dati deduttive

-          OLAP

-          Regole Associative

-          Sequenze temporali

·         Basi di dati di supporto alle decisioni                                            (6 CFU)

-          I sistemi informativi direzionali

-          Data warehouse e OLAP

-          La tecnologia OLAP

-          Progettazione di Data warehouse

-          Data mining

·         Basi di dati a oggetti                                                                     (6 CFU)

-          Modelli dei dati e linguaggi a oggetti per BD

-          Estensioni a oggetti dell'SQL

-          Sistemi per BD a oggetti

-          Sistemi relazionali a oggetti

-          Implementazione dei DBMS a oggetti

·         Sistemi informativi territoriali e laboratorio                                   (6+6 CFU)

·         Algoritmi per Internet e Web: routing e gestione di pagine web     (3 CFU)

·         Algoritmi per Internet e Web: crittografia                                     (3 CFU)

·         Algoritmi per Internet e Web: compressione di testi                                 (3 CFU)

·         Recupero di informazioni                                                              (6 CFU)

-          Modelli dell'Information Retrieval e relative funzioni di matching

-          Tecniche di Information Retrieval dipendenti dal mezzo espressivo

-          Temi ``avanzati'' di Information Retrieval

·         Tecniche di data mining                                                                (6 CFU)

-          Il processo di knowledge discovery

-          Regole Associative

-          Classificazione con alberi di decisione

-          Clustering

·         Informatica per enti pubblici                                                         (6 CFU)

-          Gestione della popolazione e del territorio.

-          Gestione amministrativa e contabile.

-          Gestione delle risorse.

·         Progettazione di interfacce e valutazione dell’usabilità                 (6 CFU)

       Progettazione di Presentazioni Grafiche.

       Metodi per progettare e modellare applicazioni interattive

       Progettazione Presentazioni Multimediali

       Progettazione di Siti Web

       Interfacce Utenti Adattabili e Adattive

       Progettazione interfacce per telefoni cellulari

       Usabilità

 

Comunicazione e Interazione (18 crediti)

 

·         Laboratorio di applicazioni internet                   (6 CFU)

       Problemi nella costruzione di applicazioni distribuite

       Limiti delle soluzioni tradizionali: socket/XDR/RPC.

       Approfondimenti sull'architettura CORBA

       Componenti per la gestione delle transazioni

       Interazione con i DBMS

       Cenni ai problemi della sicurezza nelle Applicazioni Internet

·         Laboratorio di realtà virtuale                                                         (6 CFU)

·         Progettazione di interfacce e valutazione dell’usabilità                 (6 CFU)

       Progettazione di Presentazioni Grafiche.

       Metodi per progettare e modellare applicazioni interattive

       Progettazione Presentazioni Multimediali

       Progettazione di Siti Web

       Interfacce Utenti Adattabili e Adattive

       Progettazione interfacce per telefoni cellulari

       Usabilità

·         Introduzione all’audio digitale                                                      (3 CFU)

Obiettivo: fornire un'idea degli aspetti matematici nascosti  dietro il trattamento dell audio digitale. Il materiale e' presentato in forma discorsiva omettendo le  dimostrazioni ma non rinunciando al rigore degli enunciati. Viene privilegiata la presentazione grafica dei fenomeni.

·         Laboratorio di informatica musicale                                              (6 CFU)

·         Recupero di informazioni                                                              (6 CFU)

       Modelli dell'Information Retrieval e relative funzioni di matching

       Tecniche di Information Retrieval dipendenti dal mezzo espressivo

       Temi ``avanzati'' di Information Retrieval

·         Tecniche di data mining                                                                (6 CFU)

       Il processo di knowledge discovery

       Regole Associative

       Classificazione con alberi di decisione

       Clustering

·         Algoritmi per Internet e Web: routing e gestione di pagine web     (3 CFU)

·         Algoritmi per Internet e Web: crittografia                                     (3 CFU)

·         Algoritmi per Internet e Web: indicizzazione di testi                    (3 CFU)

·         Algoritmi per Internet e Web: compressione di testi                                 (3 CFU)

·         Sicurezza nelle reti informatiche 1 e 2                                           (6+6 CFU)

       Iindividuazione, sia durante l'analisi di sistemi esistenti che durante la progettazione di nuovi sistemi, dei possibili punti di attacco

       Studio di strumenti (hardware e software) da utilizzare per proteggere il sistema e permettere agli utenti di interagire con esso in maniera sicura

       Tecniche necessarie a riportare il sistema ad un corretto funzionamento, a individuare i dati che sono stati violati e a identificare i pirati informatici.

·         Complementi di gestione di reti                                                    (6 CFU)

·         Geometria computazionale                                                            (6 CFU)

       Test geometrici elementari. Intersezione di segmenti

       Rappresentazione di punti, poligoni.

       Tecnica dello ``Sweeping line''.

       Inviluppi convessi              

       Triangolazione di un poligono semplice.

       Problemi di ricerca su poligoni.

       Coppia di punti più vicini. Algoritmo di Shamos-Hoey.

       Organizzazione di insiemi di punti e segmenti per la ricerca veloce.

       Skip lists.

·         Reti Mobili                                                                                    (6 CFU)

       struttura delle reti mobili e loro classificazione

       reti cellulari: GSM, GPRS, UMTS

       reti celllulari: gestione della localita'

       reti cellulari: handoff

       reti ad hoc: routing

       risparmio energetico

       personal area networks

 

·         Servizi di rete (da definire)                                                            (12 CFU)         

 

Tecnologie di Programmazione e Linguaggi (18 crediti)

 

18 crediti a scelta tra i seguenti (almeno 6 crediti di laboratorio)

 

·         Compilatori                                                                                   (6 CFU)

       Linguaggi, macchine astratte e macchine virtuali.

       Analisi lessicale e sintattica: linguaggi regolari, automi a stati finiti. linguaggi context-free, automi a pila LL e LR.

       Analisi statica e generazione di codice: codici intermedi, bytecode, codici a tre indirizi. Attribute grammars.

       Realizzazione di driver e generatori.

       Ottimizzazione: principi, analisi dataflow

·         Laboratorio di progettazione del software                                    (6 CFU)

       Analisi, progettazione e realizzazione di sistemi software secondo un approccio orientato agli oggetti.

       Progettazione mediante UML.

       Realizzazione mediante il linguaggio Java.

       Uso di ambienti e strumenti di sviluppo

·         Linguaggi funzionali                                                                     (6 CFU)

·         Metodi formali per la programmazione                                         (6 CFU)

       Il ruolo dei metodi formali nella programmazione

       Programmazione imperativa sequenziale deterministica

       Programmazione imperativa a parallelismo disgiunto

       Programmazione imperativa parallela con condivisione di variabili

       Programmazione parallela con sincronizzazione

·         Programmazione concorrente                                                        (6 CFU)

·         Laboratorio di programmazione logica                                         (6 CFU)

·         Laboratorio di compilatori                                                            (6 CFU)

       Introduzione al Synthesizer Generator

       Utilizzo di editori dimostrativi

       Definizione del progetto

       Configurazione di un editore

       Uso degli attributi per i controlli di correttezza del programma

       Sviluppo del progetto

·         Metodi e strumenti per l’analisi e la verifica                                  (6+6 CFU)

       Semantica e interpretazione astratta

       Sistemi di tipo e inferenza di tipi in programmazione funzionale

       Analisi Control-Flow.

       Formalismi di specifica.

       Model checking.

       Costruzione e uso di strumenti per l'analisi e la verifica.

 

Sistemi Intelligenti (18 crediti)

·         Sistemi intelligenti II (titolo da definire)                                          (6 CFU)

       Apprendimento.

       Reti neurali.

       Pattern recognition.

       Algoritmi genetici.

       Robotica.

       Grafica.

·         Apprendimento Automatico                                                          (6 CFU)

       Spazio delle Ipotesi; Algoritmi Find-S e Candidate-Elimination

       Bias Induttivo; Apprendimento PAC

       Apprendimento PAC, VC-dimension

       Limiti al numero di Errori

       Boosting

       Apprendimento Bayesiano

       Algoritmi Genetici

       Apprendimento con Rinforzo

·         Reti Neurali I (titolo da definire)                                                     (6 CFU)

       Processi di apprendimento

       Il perceptron

       Algoritmo dei Minimi Quadrati (LMS)

       Perceptron multistrato

       Algoritmi costruttivi:

·         Reti Neurali II (titolo da definire)                                                    (6 CFU)

       Metodi di ottimizzazione di reti multistrato: tecniche di pruning.

       Radial Basis Functions (RBF)

       Sistemi che si Autorganizzano:

       Apprendimento Hebbiano

       Apprendimento Competitivo.

       Cenni alle Reti Modulari.

       Introduzione alla computazione Fuzzy.

       Memoria FAM (Fuzzy Associative Memory)

       Metodi non derivativi di ottimizzazione.

       Neuro-Fuzzy-Soft Computing.

       Introduzione alla computazione genetica

       Programmazione evolutiva.

       Algoritmi genetici.

       Algoritmi evolutivi e Reti Neurali.

       Evoluzione

·         Laboratorio di Intelligenza artificiale                                            (6 CFU)

       Introduzione al corso. Requisiti di un linguaggio per IA. La scelta del Common Lisp

       Introduzione al linguaggio LISP e programmazione ad oggetti in CLOS

       Realizzazione di agenti per la risoluzione di problemi

       Realizzazione di agenti basati sulla conoscenza

·         Laboratorio di sistemi ibridi                                                          (6 CFU)

       Introduzione ai sistemi ibridi

       Estrazione della conoscenza e sua rappresentazione in un sistema esperto

       Presentazione del problema su cui svolgere il progetto finale

       Implementazione di Back-Propagation e di Reti di Kohonen

       Discussione sul progetto

·         Recupero di informazioni                                                              (6 CFU)

       Modelli dell'Information Retrieval e relative funzioni di matching

       Tecniche di Information Retrieval dipendenti dal mezzo espressivo

       Temi ``avanzati'' di Information Retrieval

·         Tecniche di data mining                                                                (6 CFU)

       Il processo di knowledge discovery

       Regole Associative

       Classificazione con alberi di decisione

       Clustering

·         Didattica e Informatica                                                                 (6 CFU)

·         Introduzione all’audio digitale                                                      (3 CFU)

Obiettivo: fornire un'idea degli aspetti matematici nascosti  dietro il trattamento dell audio digitale. Il materiale e' presentato in forma discorsiva omettendo le  dimostrazioni ma non rinunciando al rigore degli enunciati. Viene privilegiata la presentazione grafica dei fenomeni.

·         Elaborazione del linguaggio naturale                                            (6 CFU) 

       Il calcolatore e il trattamento dei dati linguistici: problematiche e cenni storici.

       L’analisi del linguaggio come processo cognitivo e sue relazioni con la linguistica,

       Fonetica fonologia morfologia sintassi semantica del mondo:

       La tecnologia della lingua e le sue applicazioni nella società dell’informazione

·         Percezione robotica                                                                       (6 CFU)

       Cenni sui sistemi di percezione biologici

       Sistemi sensoriali artificiali antropomorfi e non antropomorfi

       Tatto artificiale

       Visione artificiale e tecniche di elaborazione delle immagini

       Fondamenti di meccanica e controllo di robot

       Cenni di navigazione robotica

       Cenni sui sistemi di coordinamento senso-motorio biologici

       Architetture di supervisione e controllo di robot

       Schemi di controllo/coordinamento antropomorfi e non antropomorfi

·         Laboratorio di programmazione logica                                         (6 CFU)

 

5.      Laboratorio orientato alle applicazioni

Il contenuto del corso di laboratorio orientato alle applicazioni (12 CFU) sarà descritto anno per anno.

 

6.      Corsi complementari

Gli insegnamenti complementari (6 crediti), possono essere scelti tra gli insegnamenti seguenti:

 

·         Tutti i complementari della Laurea di I livello

 

·         Tutti i corsi dei percorsi della Laurea Specialistica in Tecnologie Informatiche

 

·         Architetture di sistemi software                                                     (6 CFU)

·         Modellazione e analisi di sistemi complessi                                  (6 CFU)

·         Organizzazione della produzione e sistemi logistici                      (6 CFU)

       Nozioni di base di micro e macro economia.
       Il sistema economico. 
       La logistica interna.
       La logistica ed il layout. 
       Valutazione dell'investimento in macchine e sistemi informatizzati
       La logistica nell'organizzazione del lavoro in fabbrica. 
       La logistica esterna.
       Qualità e logistica

·         Quantum computing                                                                     (6 CFU)

       Algebra Lineare

       Meccanica Quantistica

       Modelli di computazione Quantum Computing

       Circuiti quantistici

       Macchina di Turing quantistica

       Algoritmi quantistici: fattorizzazione e ricerca

       Implementazioni fisiche di computers quantistici

       Cenni di crittografia quantistica e teletrasporto quantistico.

·         Tecnologie di Convergenza su IP                                                  (6 CFU)

       Il routing in Internet: BGP e OSPF.

       Integrazione dei servizi: RSVP.

       IP over ATM.

       Protocolli di trasporto multicast: RTP.

       Il multicast su IP: IGMP.

       La tecnica del tunnelling.

       IPv6 per le applicazione non "best-effort".

       Il protocollo WAP.

·         Trattamento della qualità del servizio in Internet                          (3 CFU)

       Metriche per la descrizione della qualità del servizio.

       Gli strumenti per la acquisizione delle metriche.

       Lo spettro della "Long range dependence".

       La tipologia di servizio "less than best effort".

       Architettura Datagrid/MDS e il protocollo LDAP.

       Altre architetture ed applicazioni.    

·         Elettronica                                                                                                (6 CFU)

       Il MOSFET

       Analisi di circuiti logici in tecnologia CMOS

       Processi di fabbricazione dei circuiti integrati in tecnologia CMOS

       Tecniche di progettazione dei circuiti integrati digitali

       Strumenti per la simulazione elettrica dei circuiti (SPICE)

       Linguaggi di descrizione

       Strumenti di sintesi automatica (SYNOPSYS)

       Strumenti di "Placement" e "Routing" (Silicon Ensemble)

       Strategie di progettazione orientate alla testabilità

 

7.            Organizzazione Didattica

Didattica su semestri.

Ogni anno di corso è articolato su due semestri, ciascuno comprendente almeno 12 settimane di attività didattica.

 

Esami.

I corsi di laboratorio non prevedono un esame finale, ma una valutazione fatta dal docente durante lo svolgimento del corso.

 

Il numero di esami fondamentali della laurea è 8.

Agli esami fondamentali devono essere aggiunti quelli a scelta dello studente (6 CFU) e gli esami complementari (36 CFU).  Il numero complessivo degli esami varia tra 7 e 12.

 

8.            Allocazione degli insegnamenti sugli anni di corso e sui semestri.

 

Anno di corso

Primo semestre

(insegnamento)

CFU

Esame?

Secondo semestre

(insegnamento)

CFU

Esame?

Primo

Architetture parallele e distribuite

9

SI

 Esame interdisciplinare

6

SI

Linguaggi e calcolabilità

 

6

SI

Programmazione avanzata

12

SI

Sistemi intelligenti

 

6

SI

Esame di indirizzo

12

SI/NO

Costruzione di Interfacce

 

9

SI

 

 

 

Totali

 

30

4

 

30

2/3/4

 

 

 

 

 

 

 

Secondo

Esame interdisciplinare

 

6

SI

A scelta dello studente

6

SI/NO

Esame di indirizzo

 

6

SI/NO

Tesi di laurea

24

NO

 

Laboratorio di

 Applicazione

12

 NO

 

 

 

Esame complementare

6

SI/NO

 

 

 

Totali

 

30

1/2/3

 

30

0/1

 

 

 

Sistema Qualità.

Si intende adottare un sistema per la misura della qualità della didattica. Tale sistema è stato sperimentato, dall'anno accademico 1995/96, per il diploma universitario in informatica, così come richiesto dal progetto Campus, e consiste nella valutazione annuale della qualità delle sue attività.

 

9.            Comitato dei Garanti

 

Nome

Ruolo

Dipartimento

Facoltà

Firma

 

Giuseppe Attardi

Ordinario

Informatica

Scienze M.F.N.

 

 

Fabrizio Baiardi

Associato

Informatica

Scienze M.F.N.

 

 

Egon Boerger

Ordinario

Informatica

Scienze M.F.N.

 

 

Marco Danelutto

 

Associato

Informatica

Scienze M.F.N.

 

Gianluigi Ferrari

Associato

Informatica

Scienze M.F.N.

 

 

Gualtiero Leoni

Associato

Informatica

Scienze M.F.N.

 

 

Laura Ricci

Ricercatore

Informatica

Scienze M.F.N.

 

 

 

 

 

 

 

 

Antonina Starita

Associato

Informatica

Scienze M.F.N.

 

 

Marco Vanneschi

Ordinario

Informatica

Scienze M.F.N.