UNIVERSITA' DEGLI STUDI DI PISA
Delibera n. 73Anno Accademico 1996-1997 Seduta del 04.07.97
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
L'anno millenovecentonovantasette il giorno quattro del mese di luglio alle ore 9.30 presso il Dipartimento di Informatica, si è riunito in seduta ordinaria il Consiglio di Corso di Laurea in Scienze dell'Informazione, in Informatica e Diploma Universitario in Informatica della Facoltà di Scienze m.f.n. dell'Università di Pisa, nelle persone dei Professori:
Ordinari: Albano, Bonuccelli, Degano, Gallo, Germano, Levi, Luccio, Maggiolo, Pagli, Turini, Vanneschi
Associati: Baiardi, Barbuti, Barcaro, Ghelli, Leoni, Mancarella, Menchi, Pedreschi, Schiaffino, Simi
Ricercatori ed assistenti: Danelutto, Frangioni, Gabbrielli, Giacobazzi, Leoncini, Masini, Pelagatti, Ricci, Rossi, Scutellà, Sperduti
Rappr. studenti: Brodo, Moscariello, Volpe
Rappr. non docenti: Mongini
Sono assenti giustificati
Ordinari: Balsamo, Bertossi, Boerger, Lodi, Maestrini, Modica, Pallottino
Associati: Acquistapace, Ambriola, Antonelli, Attardi, Berarducci, Caroti-Ghelli, Cazzaniga, Fidecaro, Massai, Pardini, Passaseo, Rolla
Ricercatori e assistenti: Bergamasco, Brogi, Ciuffoletti, Ferrante, Ferrari, Fortuna, Gemignani, Giuliano, Laganà, Leporini, Lucchesi, Piram, Sabatini, Sassone
Rappr. studenti:
Rappr. non docenti:
Presiede il Prof. M. Bonuccelli
Esercita le funzioni di Segretario il Prof. P. Degano
cont. Del. n. 73/1 del 04.07.97
Il Presidente, constatato legale il numero dei convenuti, dichiara aperta la seduta.
Il Consiglio di Corso di Laurea in Scienze dell'Informazione, in Informatica e Diploma Universitario in Informatica passa quindi, a discutere il seguente
ORDINE DEL GIORNO
1) Comunicazioni
2) Allocazione dei corsi sui semestri
3) Compiti didattici ricercatori e assistenti a.a. 1997/98
4) Perfezionamento della Programmazione Didattica a.a. 1997/98
5) Questioni riguardanti il Diploma
6) Pratiche studenti
7) Missioni, congedi e nulla-osta
8) Varie ed eventuali
9) Discussione preliminare sui punti asteriscati
* 10) Questione riguardanti i professori di fascia A
* Partecipano i soli professori ordinari e straordinari
Il Presidente propone la seguente variazione all'ordine del giorno che viene approvata all'unanimità:
1) Comunicazioni
2) Allocazione dei corsi sui semestri
3) Compiti didattici ricercatori e assistenti a.a. 1997/98
4) Perfezionamento della Programmazione Didattica a.a. 1997/98
5) Commissione C.O.R.I.
6) Questioni riguardanti il Diploma
7) Pratiche studenti
8) Missioni, congedi e nulla-osta
9) Varie ed eventuali
10) Discussione preliminare sui punti asteriscati
* 11) Questione riguardanti i professori di fascia A
* Partecipano i soli professori ordinari e straordinari
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 74
Anno Accademico 1996-1997 Seduta del 04.07.97
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 1
Argomento: Comunicazioni
O G G E T T O
Il Presidente comunica quanto segue:
- il Senato Accademico ha approvato la proposta della Commissione Didattica di introdurre, anche nelle more del Regolamento Didattico di Ateneo, una norma quadro così come di seguito riportata "su proposta dei singoli Corsi di Studio il Consiglio di Facoltà può stabilire i requisiti minimi per il passaggio all'anno di corso successivo. La condizione didattica deve essere superata, comunque, entro il 31 ottobre di ciascun anno". Il Consiglio da mandato alla Commissione Didattica di occuparsi della questione e di riferire in un prossimo Consiglio;
- la Facoltà ha deliberato sulla chiamata del prof. Stefano Pallottino che prender`a servizio presso il nostro Corso di Laurea a partire dal prossimo anno accademico.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 75
Anno Accademico 1996-1997 Seduta del 04.07.97
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 2
Argomento: Allocazione dei corsi sui semestri
O G G E T T O
La Commissione Didattica propone per l'anno accademico 1997/98, la seguente distribuzione dei corsi sui semestri:
PRIMO ANNO CORSO DI DIPLOMA IN INFORMATICA
PRIMO SEMESTRE
Programmazione I (2 u. d.)
Analisi Matematica I (2 u. d.)
Laboratorio di Informatica I (1 u. d.)
SECONDO SEMESTRE
Algoritmi e Strutture dati I (2 u. d.)
Matematica Discreta (2 u. d.)
Laboratorio di Informatica II (1 u. d.)
SECONDO ANNO CORSO DI DIPLOMA IN INFORMATICA
PRIMO SEMESTRE
Architettura degli Elaboratori I (2 u. d.)
Laboratorio di Informatica III (1 u. d.)
Calcolo Numerico (1 u. d.)
Calcolo delle Probabilità e Statistica matematica (1 u. d.)
SECONDO SEMESTRE
Laboratorio di Informatica IV (1 u. d.)
Sistemi Operativi I (2 u. d.)
Ricerca Operativa: organizzazione e Gestione aziendale (1 u. d.)
Ricerca Operativa (1 u. d.)
cont. Del. n. 75/1 del 04.07.97
TERZO ANNO CORSO DI DIPLOMA IN INFORMATICA
PRIMO SEMESTRE
Basi di Dati e sistemi informativi (1 u. d.)
Ingegneria del Software (1 u. d.)
Linguaggi di programmazione:
Classificazione e Macchine astratte (1 u. d.)
Sistemi di Elaborazione dell'informazione:
Reti di calcolatori (1 u. d.)
SECONDO SEMESTRE
Informatica Generale: Aspetti sociali, etici e professionali (1 u. d.)
Architettura degli Elaboratori: sicurezza (1 u.d.)
Algoritmi e Strutture dati: crittografia (1 u.d.)
Linguaggi di Programmazione: Programmazione
sicura (1 u.d.)
PRIMO ANNO CORSO DI LAUREA IN INFORMATICA
PRIMO SEMESTRE
Programmazione I (2 u. d.)
Analisi Matematica I (2 u. d.)
Laboratorio di Informatica I (1 u. d.)
SECONDO SEMESTRE
Algoritmi e Strutture dati I (2 u. d.)
Matematica Discreta (2 u. d.)
Laboratorio di Informatica II (1 u. d.)
SECONDO ANNO CORSO DI LAUREA IN INFORMATICA
PRIMO SEMESTRE
Architettura degli Elaboratori I (2 u. d.)
Laboratorio di Informatica III (1 u. d.)
Analisi Matematica II (1 u. d.)
Logica Matematica (1 u. d.)
SECONDO SEMESTRE
Fisica Generale I (2 u. d.)
Laboratorio di Informatica IV (1 u. d.)
Sistemi Operativi I (2 u. d.)
cont. Del. n. 75/2 del 04.07.97
FONDAMENTALI DI APPLICAZIONE CORSO DI LAURE IN INFORMATICA
TERZO ANNO
PRIMO SEMESTRE
Analisi Numerica (2 u. d.)
Basi di Dati e sistemi informativi I (1 u. d.)
Calcolo delle Probabilità (1 u. d.)
Fondamenti dell'informatica:
Calcolabilità e Complessità (1 u. d.)
SECONDO SEMESTRE
Architettura degli Elaboratori II:
architetture parallele e distribuite (1 u. d.)
Fisica Generale II (1 u. d.)
Fondamenti dell'informatica: Semantica (1 u.d.)
Linguaggi di programmazione:
linguaggi Formali e Compilatori (1 u. d.)
Programmazione Matematica (1 u. d.)
QUARTO ANNO
PRIMO SEMESTRE
Teoria dell'Informazione (1 u. d.)
Ingegneria del Software (1 u. d.)
FONDAMENTALI DI ORIENTAMENTO - QUARTO
ORIENTAMENTO SOFTWARE
PRIMO SEMESTRE
Basi di Dati e sistemi informativi II (1 u. d.)
Intelligenza Artificiale 1 (1 u. d.)
SECONDO SEMESTRE
Ingegneria del Software:
Laboratorio di progettazione (1 u. d.)
Linguaggi di programmazione:
Paradigmi e Macchine astratte (1 u. d.)
ORIENTAMENTO SISTEMI
PRIMO SEMESTRE
Architettura degli Elaboratori III (1 u. d.)
Sistemi di Elaborazione dell'informazione:
Reti di calcolatori (1 u. d.)
Algoritmi e Strutture dati:
algoritmi Paralleli e distribuiti (1 u. d.)
SECONDO SEMESTRE
Sistemi Operativi II (1 u. d.)
cont. Del. n. 75/3 del 04.07.97
COMPLEMENTARI - QUARTO ANNO
PRIMO SEMESTRE
Apprendimento Automatico (1 u. d.)
Fisica Generale: Modelli della fisica (1 u. d.)
Fondamenti dell'informatica:
Linguaggi formali e Automi (1 u. d.)
Fondamenti dell'informatica:
Semantica della Concorrenza (1 u. d.)
Interazione Uomo-macchina:
Fondamenti di computer graphics (1 u. d.)
Linguaggi di programmazione: Linguaggi Funzionali (1 u. d.)
Programmazione: Metodi Formali (1 u. d.)
Reti Neurali I (1 u. d.)
Teoria dei Segnali (1 u. d.)
SECONDO SEMESTRE
Architettura degli Elaboratori:
sistemi a Parallelismo massiccio (1 u. d.)
Architettura degli Elaboratori:
Laboratorio di sistemi a parallelismo massiccio (1 u. d.)
Basi di Dati e sistemi informativi: Laboratorio (1 u. d.)
Basi di Dati e sistemi informativi:
basi di dati Distribuite e parallele (1 u. d.)
Informatica Teorica: Calcolabilità (1 u. d.)
Ingegneria della Conoscenza e sistemi esperti (1 u. d.)
Intelligenza Artificiale: Laboratorio (1 u. d.)
Interazione Uomo-macchina:
Programmazione di interfacce grafiche (1 u. d.)
Informatica Teorica: Metodi algebrici (1 u. d.)
Linguaggi di programmazione: Linguaggi Logici (1 u. d.)
Ottimizzazione Combinatoria (1 u. d.)
Linguaggi di Programmazione: tecniche
avanzate di compilazione (1 u.d.)
Programmazione: laboratorio di program.
funzionale (1 u.d.)
Programmazione: laboratorio di tecniche
di raffinamento (1 u.d.)
Ricerca Operativa: reti di comunicazione (1 u.d.)
Sistemi di Elaborazione dell'Informazione:
applicazioni parallele (1 u.d.)
COMPLEMENTARI - QUINTO ANNO
PRIMO SEMESTRE
Economia dei Sistemi industriali (1 u. d.)
Elettronica (1 u. d.)
Elettronica: sistemi Digitali (1 u. d.)
cont. Del. n. 75/4 del 04.07.97
Informatica Generale: Didattica dell'informatica (1 u. d.)
Ingegneria del software: Metodi di specifica (1 u.d.)
Organizzazione della Produzione e dei sistemi logistici (1 u. d.)
Ricerca Operativa: tecniche di Simulazione (1 u. d.)
Statistica Matematica (1 u. d.)
Teoria dei Sistemi (1 u. d.)
Algoritmi e Strutture dati: bioinformatica (1 u.d.)
Basi di dati e Sistemi Informativi:
basi di dati deduttive (1 u.d.)
Linguaggi di Programmazione: laboratorio
di compilatori (1 u.d.)
Programmazione: laboratorio di program.
concorrente e orientato agli oggetti (1 u.d.)
Ottimizzazione Combinatoria: laboratorio (1 u.d.)
SECONDO SEMESTRE
Informatica Grafica: Laboratorio di realtà virtuale (1 u. d.)
Matematica Computazionale I (1 u. d.)
Matematica Computazionale: calcolo Parallelo (1 u. d.)
Matematica Computazionale: Geometria computazionale (1 u. d.)
Matematica Computazionale: Laboratorio (1 u. d.)
Programmazione: Laboratorio di programmazione logica (1 u. d.)
Reti Neurali: Laboratorio di sistemi ibridi (1 u. d.)
Ingegneria del Software: controllo di qualità (1 u.d.)
Laboratorio di Informatica: informatica musicale (1 u.d.)
Percezione Robotica (1 u.d.)
Reti neurali II (1 u.d.)
Sistemi di Elaborazione dell'Informazione:
sistemi affidabili (1 u.d.)
COMPLEMENTARI DI NUOVA ATTIVAZIONE
Il Consiglio si riserva di decidere in seguito l'allocazione dei seguenti corsi di nuova attivazione:
Fondamenti dell'informatica: modelli
e specifiche per la concorrenza (1 u.d.)
Fondamenti dell'informatica: semantica II (1 u.d.)
Linguaggi di programmazione: programmazione
concorrente (1 u.d.)
Ricerca Operativa: applicazioni aziendali (1 u.d.)
Ricerca Operativa: logistica e distribuzione (1 u.d.)
Sistemi di Elaborazione dell'Informazione:
reti di calcolatori II (1 u.d.)
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 76
Anno Accademico 1996-1997 Seduta del 04.07.97
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 3
Argomento: Compiti didattici ricercatori e assistenti a.a 1997/98
O G G E T T O
Il Presidente illustra una proposta di compiti didattici da assegnare ai ricercatori e assistenti, scaturita dopo lunga discussione con gli interessati e con i professori dei corsi e riassunta nel quadro seguente:
Ricercatore Corso
BROGI A. Algoritmi e Strutture Dati I (Diploma)
CIUFFOLETTI A. LDI III (Diploma) + LDI IV (Diploma)
CORRADINI A. LDI IV - B + Programmazione: lab. di progr. funzionale
DANELUTTO M. LDI IV - A + Sist. Oper. II
FERRARI G.L. Ling. Progr.. (Dipl.) + Program.: lab. di progr.concorrente ed orientata agli oggetti
FRANGIONI A. Program. Matematica + Ottimizzazione Combinatoria
GABBRIELLI M. LDI II - B
GEMIGNANI L. Calcolo Numerico (Diploma)
GIACOBAZZI R. LDI I - A
LEONCINI M. Mat. Computaz.: calcolo parallelo - Analisi Numerica
MASINI A. LDI III -B + Logica Matematica - B
OCCHIUTO M.E. LDI I (Diploma) + Linguaggi di Program.: Lab. di Compilatori
PELAGATTI S. LDI III - A
RICCI L. Architettura degli Elab. III + LP: Tecn. Avan. Comp.
ROSSI F. LDI II - A
SPERDUTI A. Reti Neurali II + Laboratorio di Sistemi Ibridi
SCUTELLA' M.G. Ottimizzazione Combinatoria + Ott. Comb.: laboratorio
Assistenti Corso
LAGANA' M.R. Inform. Gen.: didattica dell'informatica
MOLE' F. Sistemi Operativi I - B
PIRAM P. Teoria dell'Informazione - B
SPADAFORA I. Basi di Dati e Sist. Inform. (Diploma)
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 77
Anno Accademico 1996-1997 Seduta del 04.07.97
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 4
Argomento: Perfezionamento della Programmazione Didattica a.a 1997/98
O G G E T T O
ATTIVAZIONE CORSI
Il Presidente su proposta del prof. Albano, chiede al Consiglio l'attivazione di una unità didattica per il triennio del Corso di Laurea da denominarsi "Ricerca dei Documenti" riguardante teoria, tecniche e sistemi per la ricerca di documenti testuali.
Dopo una breve discussione, durante la quale emerge la necessità che, nel caso in cui vengano presentate domande di contratto da personale esterno all'Università, tali domande debbano essere corredate da curriculum personali, il Consiglio stabilisce che tale proposta debba essere vagliata prima dalla Commissione di Area e successivamente dalla Commissione Didattica.
Approvato all'unanimità.
Il Consiglio unanime decide l'attivazione per l'a.a. 1997/98 del corso di "Programmazione: laboratorio di programmazione concorrente e orientata agli oggetti" per il quale verrà chiesta l'emissione di un bando di copertura a mezzo di affidamento o supplenza.
DISATTIVAZIONE CORSI
A correzione della delibera n. 42/2 del CCL 11.04.97 con la quale il corso di "Programmazione Matematica II" era stato affidato per titolarietà al prof. G. Gallo, il Consiglio delibera che per l'a.a. 1997/98, tale corso venga disattivato.
Approvato all'unanimità.
Vista la mancanza di copertura sia per titolarietà, sia per affidamento didattico sostitutivo, e visto che i bandi di concorso riservato per la copertura a mezzo di affidamento e supplenze sono andati deserti, il Consiglio unanime decide la disattivazione dei seguenti corsi del Corso di Laurea in Informatica:
Ingegneria del Software: modelli di processo software
Intelligenza Artificiale II: laboratorio
Linguaggi di Programmazione: analisi e ottimizzazione
Programmazione: laboratorio di ambienti
Programmazione: laboratorio di programmazione concorrente
Programmazione: modelli object oriented
cont. Del. n. 77/1 del 04.07.97
Ricerca Operativa: applicazioni aziendali
Ricerca Operativa: logistica e distribuzione
Sistemi di Elaborazione dell'Informazione: reti di calcolatori II
AFFIDAMENTI DI COMPITI DIDATTICI A TITOLARI DI INSEGNAMENTO
Corso Docente
Programmazione Matematica - B S. Pallottino (straord.)
AFFIDAMENTI DIDATTICI SOSTITUTIVI
Fondamenti dell'informatica: semantica II
Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico sostitutivo di questo insegnamento, al Prof. Ugo Montanari, professore ordinario di Metodi Formali dell'Informatica.
Ricerca Operativa: reti di comunicazioni
Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico sostitutivo di questo insegnamento, al Prof. Stefano Pallottino, professore ordinario di Programmazione Matematica.
Ricerca Operativa: tecniche di simulazione
Il Consiglio, conosciuta la disponibilità dell'interessato, approva l'affidamento didattico sostitutivo di questo insegnamento, al Prof. Giorgio Gallo, professore ordinario di Programmazione Matematica.
MUTUAZIONI
Il corso di "Informatica Generale: aspetti sociali, etici e professionali" del Corso di laurea in Informatica, viene mutuato dal corso di "Informatica Generale: aspetti sociali, etici e professionali" del Corso di Diploma Universitario in Informatica
Approvato all'unanimità.
CORSI VACANTI
Corso di Diploma Universitario in Informatica
Per la copertura di tali corsi il Consiglio unanime chiede che venga emesso un nuovo bando:
Algoritmi e Strutture dati I
Analisi Matematica I
Architettura degli Elaboratori I
Calcolo delle Probabilità e Statistica Matematica
Informatica Generale: aspetti sociali, etici e professionali
Laboratorio di Informatica I
Laboratorio di Informatica III
Laboratorio di Informatica IV
cont. Del. n. 77/2 del 04.07.97
Linguaggi di Programmazione: classificazione e macchine astratte
Matematica Discreta
Ricerca Operativa
Ricerca Operativa: organizzazione e gestione aziendale
Sistemi di elaborazione e dell'Informazione: reti di calcolatori
Corso di Laurea in Informatica
Per la copertura di tali corsi il Consiglio unanime chiede che venga emesso un nuovo bando:
Algoritmi e Strutture dati: bioinformatica
Algoritmi e Strutture dati; algoritmi paralleli e distribuiti
Analisi Matematica I - A
Apprendimento Automatico
Architettura degli Elaboratori II: architetture parallele e distribuite - A/B
Architettura degli Elaboratori III
Basi di dati e Sistemi Informativi: basi di dati deduttive
Fisica Generale II - B
Informatica Grafica: laboratorio di realtà virtuale
Laboratorio di Informatica I - A
Laboratorio di Informatica I - B
Laboratorio di Informatica II - A
Laboratorio di Informatica II - B
Laboratorio di Informatica III - A
Laboratorio di Informatica III - B
Laboratorio di Informatica IV - A
Laboratorio di Informatica IV - B
Laboratorio di Informatica: informatica musicale
Linguaggi di Progammazione: programmazione concorrente
Logica Matematica - B
Matematica Discreta - B
Ottimizzazione Combinatoria
Ottimizzazione Combinatoria: laboratorio
Percezione Robotica
Programmazione: laboratorio di programmazione concorrente e orientata agli oggetti
Programmazione: laboratorio di programmazione funzionale
Reti Neurali: laboratorio di sistemi ibridi
Sistemi di Elaborazione dell'Informazione: applicazioni parallele
Sistemi di Elaborazione dell'Informazione: sistemi affidabili
Sistemi Operativi II
Teoria dei Segnali
Teoria dei Sistemi
Teoria dell'Informazione - B
cont. Del. n. 77/3 del 04.07.97
MINOR E PIANI DI STUDIO
Su proposta del prof. Maggiolo, referente per l'area di Linguaggi di Programmazione, viene proposto di accorpare i tre minor di:
- Programmazione Concorrente e Distribuita
- Linguaggi di Programmazione
- Compilatori e Ambienti
in un unico minor di seguito riportato:
"Linguaggi di programmazione"
Lo scopo è quello di dare una conoscenza approfondita dei linguaggi di programmazione negli aspetti formali, implementativi e applicativi, con un forte accento su questi ultimi (vedi richiesta di due corsi di laboratorio). In particolare, verranno considerati i linguaggi per i paradigmi di programmazione piú innovativi (programmazione a oggetti, programmazione concorrente, programmazione dichiarativa, programmazione con vincoli, programmazione su rete) e verranno approfondite le teorie e le tecniche viste nei corsi di base per applicarle all'implementazione di tali casi.
Struttura del minor.
I corsi sono raggruppati come segue.
a) Laboratori (scegliere 2 corsi):
Programmazione: Laboratorio di programmazione logica
Programmazione: Laboratorio di programmazione funzionale
Linguaggi di Programmazione: Laboratorio di programmazione concorrente e orientata agli oggetti
Linguaggi di Programmazione: Laboratorio di compilatori
b) Approfondimenti di paradigmi (scegliere un corso. Chi abbia scelto il major di Sistemi e` obbligato a prendere Linguaggi di Programmazione: Paradigmi e macchine astratte):
Linguaggi di Programmazione: Paradigmi e macchine astratte
Linguaggi di Programmazione: Linguaggi logici
Linguaggi di Programmazione: Linguaggi funzionali
Linguaggi di Programmazione: Programmazione concorrente
Fondamenti dell'Informatica: Semantica della concorrenza
c) Approfondimenti di metodi formali e della compilazione (scegliere un corso):
Programmazione: Metodi formali
Fondamenti dell'Informatica: Modelli e specifiche per la concorrenza
Fondamenti dell'Informatica: Linguaggi formali e automi
Fondamenti dell'Informatica: Semantica II (Montanari)
Algoritmi e Strutture Dati: Algoritmi parallei e distribuiti
cont. Del. n. 77/3 del 04.07.97
REFERENTI
P. Degano, G. Levi, A. Maggiolo-Schettini, U. Montanari, F. Turini.
Approvato all'unanimità.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 78
Anno Accademico 1996-1997 Seduta del 04.07.97
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 5
Argomento: Commissione C.O.R.I.
O G G E T T O
La commissione CORI dopo aver illustrato i risultati del questionario distribuito agli studenti che avevano frequentato i corsi di orientamento dell'anno passato, propone, per il presente anno accademico, dei corsi di orientamento concentrati nella settimana precedente l'inizio delle lezioni con il seguente numero di ore:
Presentazione del Corso di Laurea e di Diploma 2 ore
Materie Informatiche 12 ore
Materie Matematiche 6 ore
inoltre, contrariamente all'anno passato, propone che i corsi di orientamento non avranno esame finale.
Dopo una breve discussione il Consiglio approva all'unanimità.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 79
Anno Accademico 1996-1997 Seduta del 04.07.97
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 6
Argomento: Questioni riguardanti il Diploma
O G G E T T O
Il Prof. Pedreschi, coordinatore del diploma universitario in Informatica, comunica quanto segue.
1) Il DU in Informatica di Pisa ha ottenuto, nell'ambito dell'attività di valutazione dei 71 diplomi Campus predisposta dalla Conferenza dei Rettori delle Università Italiane, gestore del progetto Campus, ha riscosso il massimo del punteggio, classificandosi pertanto al primo posto. Il risultato appare particolarmente significativo alla luce del fatto che il progetto Campus è stato pensato essenzialmente per i diplomi dell'area dell'ingegneria. Il punteggio finale riscosso, 508/520 punti, rappresenta il massimo ottenibile dal DU in Informatica, in quanto i 12 punti mancanti sono dovuti all'assenza di una prova di selezione per l'immatricolazione, proibita per statuto.
2) Esprimo ai membri del consiglio la mia gratitudine per l'ambizioso risultato raggiunto, con particolare riferimento ai docenti del diploma, ai docenti che hanno dedicato sforzi aggiuntivi al diploma per la gestione del segmento di nicchia sulla sicurezza (Prof. Baiardi), del materiale didattico multimediale (Proff. Mancarella e Attardi), della commissione di autovalutazione (Prof. Leoni e Dr. Ferrari), al personale tecnico che mi ha coadiuvato nel coordinamento didattico (Pellegrini, Mongini, Carboni), all'intero staff amministrativo e, non ultimi, agli studenti che hanno participato alle novità previste nel progetto Campus in modo attivo, collaborando nel superare le difficoltà di transitorio che il progetto ha comportato.
3) Propongo di affidare al Prof. Ghelli lo studio della fattibilità di una nuova nicchia di professionalizzazione per il diploma per il prossimo a.a. 97/98, nel settore dei Sistemi Informativi Territoriali, in collaborazione con enti esterni che suppliscano alle competenze mancanti all'interno di questo consiglio. Il Prof. Ghelli conferirà a tempo debito a questo consiglio il risultato della sua esplorazione.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 80
Anno Accademico 1996-1997 Seduta del 04.07.97
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 7
Argomento: Pratiche studenti
O G G E T T O
CORREZIONE DI DELIBERE
Papini Massimo - proveniente da Scienze dell'Informazione.
A completamento della delibera n. 09/01 del CCL del 29.11.96, si approva l'esame di "Trattamento dell'Informazione dell'Impresa" per idem, come esame a scelta del terzo anno.
Approvato all'unanimità.
Zappa Nardelli Francesco - proveniente dal Diploma di Informatica (Perugia).
A correzione della delibera n. 09/09 del CCL del 29.11.96, si convalida l'esame di "Architettura degli Elaboratori" per "Architettura degli Elaboratori e Laboratorio di Informatica III" (3UD) previa prova di laboratorio.
Approvato all'unanimità.
PROGETTO SOCRATES
Criteri per la formazione della graduatoria di merito
La prof. Simi riferisce sui criteri usati per la formazione della graduatoria di merito.
Sono perventute 32 domande: 3 da parte di studenti di Informatica, 29 da parte di studenti di Scienze dell'Informazione. Quattro studenti avevano già usufruito della borsa di studio Erasmus nell'a.a 1996/97 ( e quindi potranno essere studenti Socrates/Erasmus senza borsa nell'a.a. 1997/98).
In base a queste domande è stata stilata un'unica graduatoria di merito tenendo conto di:
- Media
- Un coefficiente di rendimento (n. esami sostenuti rispetto a quelli da sostenere)
- Un coefficiente di permanenza (n. anni legali rispetto all'anno di corso)
- Il grado di conoscenza della lingua (coefficiente da 0.95 a 1)
- La validità del programma (coefficiente da 0.95 a 1).
Il risultato è la graduatoria (allegato 1) che è stata usata per l'allocazione delle sedi disponibili, cercando di soddisfare le richieste in ordine di graduatoria.
cont. Del. n. 80/1 del 04.07.97
Programmi di studio dei candidati e corrispondenze esami.
Giuseppe Milicia è autorizzato a recarsi presso il Queen Mary College di Londra (UK), per 8 mesi a partire da gennaio 1998, come studente Erasmus senza borsa, per svolgere una tesi con relatore interno la Prof.ssa Francesca Rossi.
Marco Risati è autorizzato a recarsi presso il Queen Mary & Westfield College (UK), per 10 mesi a partire da Settembre 1997, per sostenere i seguenti esami:
"Linear Methods (MAS/110)" più "Experimental Mathematics (MAS/208)" per "Analisi Numerica"; "Probability 1 (MAS/108)" per "Calcolo delle probabilità"; "Data Base Systems (DCS/225)" per "Basi di Dati I"; "Object oriented Programming (DCS/220)" per "Linguaggi: Programmazione Object-oriented"; "Compilers and Interpreters (DCS/312)" per "Linguaggi Formali e Compilatori"; "Artificial Intelligence I (DCS/215)" per "Intelligenza Artificiale I"; "Parallel Computing (DCS/226)" per "Architettura degli Elaboratori II".
Si approva il piano di studi presentato con la domanda di candidatura al programma Socrates.
Giancarlo Volpe è autorizzato a recarsi presso l'Università di Limerick (IRL), per 9 mesi a partire da Settembre 1997 e a sostenere i seguenti esami:
"Math Analysis 4 (MS4004)" per "Calcolo Numerico", "Programming Language Technology 2 (CS4126)" e "Language Processing (CE4717)" per "Linguaggi Formali e Compilatori".
Si approva il piano di studi presentato con la domanda di candidatura al programma Socrates.
Fioravante Santaniello è autorizzato a recarsi presso l'Università Politecnica de Valencia (E), per 6 mesi a partire da Ottobre 1997, come studente Socrates senza borsa, per svolgere una tesi con relatore interno il Prof. Franco Turini.
Rosaria Tiralongo è autorizzata a recarsi presso l'Università di Linkoping (S), per 6 mesi a partire da Ottobre 1997 e a sostenere i seguenti esami:
"Numerical Methods II" (TANA 50 - 3.75) per "Calcolo Numerico", System Software" (TDDB 01 - 5.25) e "Real Time and Concurrent Programming "(TDDA 47 - 4.5) per "Sistemi per l'Elaborazione dell'Informazione II"; "Artificial Intelligence (7.5) e AI: Knowledge representation" (TDDA 16) per "Elaborazione dell'Informazione non Numerica".
Si approva il piano di studi presentato con la domanda di candidatura al programma Socrates.
Marco Visentini è autorizzato a recarsi presso l'Università di Linkoping (S), per 5 mesi a partire da Settembre 1997 e a sostenere i seguenti esami:
"Programming Theory (TDDA 43 - 6)" e "Logic Programming (TDDA 41 - 6.75)" per "Metodi per l'Elaborazione dell'Informazione"; "Automatic Control (TSRT 15 - 6)" e "Computer Security (TSIT 83 - 3)" per "Elettronica".
Si approva il piano di studi presentato con la domanda di candidatura al programma Socrates.
cont. Del. n. 80/2 del 04.07.97
Giuseppina D'Andrea è autorizzata a recarsi presso l'Università Politecnica di Valencia (E), per 9 mesi a partire da Settembre 1997, per sostenere i seguenti esami:
"Computacion Numerica" per "Calcolo Numerico"; "Sistemas Operativos 1", più "Estructura de Computadores 2", più "Introduccion a la transmision de datos", per "Sistemi per l'elaborazione dell'informazione 2".
Si approva il piano di studi presentato con la domanda di candidatura al programma Socrates.
Marco Cavanna è autorizzato a recarsi presso l'Ecole Normale Superieure (F) per 10 mesi a partire da Settembre 1997 per sostenere i seguenti esami:
"Programmation d'interfaces avec X-Window" per "Elaborazione delle Immagini"; "Semantique et Preuves" per "Metodi per il Trattamento dell'Informazione"; "Integration et Probabilites 1" per "Calcolo delle Probabilità e Statistica".
Si approva il piano di studi presentato con la domanda di candidatura al programma Socrates.
Silvio Brandani è autorizzato a recarsi presso l'Università di Linkoping (S), per 6 mesi a partire da Settembre 1997 e a sostenere i seguenti esami:
"Programming Theory" (TDDA 43 - 6) e "Logic Programming" (TDDA 41 - 6.75) per "Metodi per l'Elaborazione dell'Informazione"; "Database Technology" (TDDB 38 - 7.5) per "Documentazione Automatica".
Si approva il piano di studi presentato con la domanda di candidatura al programma Socrates.
Cinzia Foglietta è autorizzata a recarsi presso l'Università di Linkoping (S), per 8 mesi a partire da Ottobre 1997 e a sostenere i seguenti esami:
"Numerical Methods II" (TANA 50 - 3.75) per "Calcolo Numerico"; "Compiler Construction" (TDDA 37 - 5.25) e "Formal Languages and Automata Theory" (TDDA 89 - 5.25) per "Linguaggi Formali e Compilatori"; "Advanced Programming and Interactivity on the WWW" (TDDB 06 - 7.5) per "Elaborazione di Immagini".
Si approva il piano di studi presentato con la domanda di candidatura al programma Socrates.
Anna Fiorucci è autorizzata a recarsi presso l'Università di Linkoping (S), per 8 mesi a partire da Ottobre 1997, come studente Erasmus senza borsa per svolgere una tesi con relatore interno la Prof.ssa Maria Simi.
Marco Biondi è autorizzato a recarsi presso l'Università di Uppsala (S), per 6 mesi a partire da Settembre 1997, per sostenere i seguenti esami:
"Numerical Analysis MN1" per "Calcolo Numerico"; "Computer Systems" per "Sistemi 2"; "Computer Graphics MN1" più un progetto integrativo con il prof. Attardi sulla parte di progettazione di Interfacce Grafiche per "Elaborazione dell'Immagine".
Si approva il piano di studi presentato con la domanda di candidatura al programma Socrates.
Fabio Paita è autorizzato a recarsi presso l'Università di Birmingham (UK), per 10 mesi a partire da Settembre 1997, per sostenere i seguenti esami:
"Computer Architecture 2" (SEM303) più un colloquio integrativo di "Architetture 3", per "Progetto di Sistemi Numerici"; "Probability and Decision Making" (MSM1S2) per
cont. Del. n. 80/3 del 04.07.97
"Calcolo delle Probabilità e Statistica; "Numerical methods" (MSMXG6), più una valutazione (scritto+orale) sulla parte di algebra lineare per "Calcolo Numerico"; "Operating Systems" (SEM330) più "Real time system programming" (SEM227) per "Sistemi per l'elaborazione dell'informazione 2".
Si approva il piano di studi presentato con la domanda di candidatura al programma Socrates.
Vinicio Nocciolini è autorizzato a recarsi presso l'Università Politecnica de Valencia (E), per 6 mesi a partire da Ottobre 1997, per svolgere una tesi con relatore interno il Prof. Franco Turini, e per sostenere i seguenti esami:
"Introduccion a la computacion paralela e Teleinformatica" per "Progetto di Sistemi Numerici".
Si approva il piano di studi presentato con la domanda di candidatura al programma Socrates.
Lapo Bernardini è autorizzato a recarsi presso la Vrije Universitet (NL), per 10 mesi a partire da settembre 1997 e a sostenere i seguenti esami:
"Numerical Analysis I" per "Calcolo Numerico"; "Probability and Statistics" per "Calcolo delle Probabilità e Statistica"; "Operating Systems (WD069 - 4.5)" e "Operating Systems PW (WD070 - 9)" per "Sistemi per l'Elaborazione dell'Informazione II"; "Computer Networks (WD098 - 4.5)" e "Introduction to Parallel Computing" per "Progetto di Sistemi Numerici"; "Neural Networks (WD158 con modulo 2A e progetto - 9)" per "Teoria dei Sistemi".
Si approva il piano di studi presentato con la domanda di candidatura al programma Socrates.
Maria Iaquinta è autorizzata a recarsi presso l'Università Politecnica di Valencia (E), per 9 mesi a partire da Settembre 1997,per sostenere i seguenti esami:
"Computacion Numerica" per "Calcolo Numerico"; "Sistemas Operativos 1", piu' "Estructura de Computadores 2", per "Sistemi per l'elaborazione dell'informazione 2"; "Bases de Datos" più "Diseno de Bases de Datos" più "ProcessamentCientific de TEXtos (Tex)" per "Documentazione Automatica"; "Laboratorio de Lenguajes de Programacion" più "Linguaggi Formali e Compilatori" per "Linguaggi Formali e Compilatori" (di Scienze dell'Informazione).
Si approva il piano di studi presentato con la domanda di candidatura al programma Socrates.
Tiziana Caruso è autorizzata a recarsi presso l'Università di Limerick (IRL), per 9 mesi a partire da Settembre 1997 e a sostenere i seguenti esami:
"Math Analysis 4"(MS4004) per "Calcolo Numerico"; "Programming Language Technology 2"(CS4126) e "Language Processing"(CE4717) per "Linguaggi Formali e Compilatori".
Si approva il piano di studi presentato con la domanda di candidatura al programma Socrates.
Simone Carlesi è autorizzato a recarsi presso la Vrije Universitet(NL), per 10 mesi a partire da settembre 1997 e a sostenere i seguenti esami:
"Numerical Analysis I" per "Calcolo Numerico"; "Operating Systems (WD069 - 4.5)" e "Operating Systems PW (WD070 - 9)" per "Sistemi per l'Elaborazione dell'Informazione
cont. Del. n. 80/4 del 04.07.97
II"; "Semantics (WD203 - 6)" e "Programming Languages Principles (WD039 - 4.5)" per "Metodi per l'Elaborazione dell'Informazione"; "Compiler Construction (WD074 - 4.5)" e "Parsing Techniques (WD170 - 4.5)" per "Linguaggi Formali e Compilatori".
Si approva il piano di studi presentato con la domanda di candidatura al programma Socrates.
Fabrizio Baldazzi è autorizzato a recarsi presso l'Università di Leiden (NL), per 6 mesi a partire da Ottobre 1997 e a sostenere i seguenti esami:
"Kansrekening en Statistiek A" per "Calcolo delle Probabilità e Statistica", "Semantiek van Progammeertalen" e "Formele Talen en Automaten 1" per "Metodi per il Trattamento dell'Informazione".
Si approva il piano di studi presentato con la domanda di candidatura al programma Socrates.
Paola Dalle Piagge è autorizzata a recarsi presso l'Università di Linkoping (S), per 6 mesi a partire da Ottobre 1997, come studente Erasmus senza borsa per svolgere una tesi con relatore interno la Prof.ssa Antonina Starita.
Andrea Urso è autorizzato a recarsi presso l'Università di Aarhus (DK), per 10 mesi a partire da Settembre 1997 e a sostenere i seguenti esami:
"Fundamental Models" e "Semantics" per Metodi per il Trattamento dell'Informazione, "Numerical Analysis" per Calcolo Numerico, "Probability 1" per Calcolo delle Probabilità e Statistica, "Databases" per Documentazione Automatica; "Mathematics programming" per "Ricerca Operativa" previo colloquio integrativo.
Si approva il piano di studi presentato con la domanda di candidatura al programma Socrates.
Eugenia Cutrona è autorizzata a recarsi presso l'Università di Aarhus (DK), per 10 mesi a partire da Settembre 1997 e a sostenere i seguenti esami:
"Compilation" e "Semantics" per "Linguaggi Formali e Compilatori", "Numerical Analysis" per "Calcolo Numerico","Probability 1" per "Calcolo delle Probabilità e Statistica","Databases" per "Documentazione Automatica".
Si approva il piano di studi presentato con la domanda di candidatura al programma Socrates.
Andrea Ficini è autorizzato a recarsi presso la Vrije Universitet (NL), per 10 mesi a partire da settembre 1997 e a sostenere i seguenti esami:
"Operating Systems (WD069 - 4.5)" e "Operating Systems PW (WD070 - 9)" per Sistemi per l'Elaborazione dell'Informazione II; "Computer Networks (WD098 - 4.5)" e "Introduction to Parallel Computing" per Progetto di Sistemi Numerici; "Object Oriented Programming PW" (WD151) e "Computer Graphics (WD152)" per "Elaborazione di Immagini".
Si approva il piano di studi presentato con la domanda di candidatura al programma Socrates.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 81
Anno Accademico 1996-1997 Seduta del 04.07.97
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 8
Argomento: Missioni, congedi e nulla-osta
O G G E T T O
NULLA-OSTA INSEGNAMENTO ALTRA FACOLTA'
Silvano Antonelli professore associato di "Architettura degli Elaboratori", ha richiesto il nulla-osta per poter tenere l’insegnamento di "Elementi di Informatica" presso il Corso di Laurea in Conservazione dei Beni Culturali della Facoltà di Lettere e Filosofia dell'Università di Pisa, per l'a.a. 1997/98.
Il prof. Antonelli dichiara che la suddetta attività didattica non interferirà con i suoi obblighi didattici istituzionali del nostro Corso di Laurea.
Il Consiglio delibera il nulla-osta a tenere il suddetto insegnamento in quanto ciò non arreca pregiudizio all'attività didattica.
Approvato all'unanimità.
Maria Simi professoressa associata di "Intelligenza Artificiale", ha richiesto il nulla-osta per poter tenere l'insegnamento di "Informatica Documentale" presso il Corso di Laurea in Conservazione dei Beni Culturali della Facoltà di Lettere e Filosofia dell'Università di Pisa, per l'a.a. 1997/98.
La prof.ssa Simi dichiara che la suddetta attività didattica non interferirà con i suoi obblighi didattici istituzionali del nostro Corso di Laurea.
Il Consiglio delibera il nulla-osta a tenere il suddetto insegnamento in quanto ciò non arreca pregiudizio all'attività didattica.
Approvato all'unanimità.
Francesca Rossi ricercatrice confermata di "Informatica", ha richiesto il nulla-osta per poter tenere l'insegnamento di "Fondamenti di Informatica (modulo del corso di Statistica e Informatica" presso il Corso di Laurea in Scienze delle Produzioni Animali della Facoltà di Medicina Veterinaria dell'Università di Pisa, per l'a.a. 1997/98.
La dott.ssa Rossi dichiara che la suddetta attività didattica non interferirà con i suoi obblighi didattici istituzionali del nostro Corso di Laurea.
Il Consiglio delibera il nulla-osta a tenere il suddetto insegnamento in quanto ciò non arreca pregiudizio all'attività didattica.
Approvato all'unanimità.
cont. Del. n. 81/1 del 04.07.97
Maria Rita Laganà assistente ordinaria presso il Corso di laurea in "Informatica" ha richiesto il nulla-osta per poter tenere l'insegnamento di "Organizzazione Informatica delle Biblioteche" presso il Corso di Laurea in Conservazione dei Beni Culturali della Facoltà di Lettere e Filosofia dell'Università di Pisa, per l'a.a. 1997/98.
La dott.ssa Laganà dichiara che la suddetta attività didattica non interferirà con i suoi obblighi didattici istituzionali del nostro Corso di Laurea.
Il Consiglio delibera il nulla-osta a tenere il suddetto insegnamento in quanto ciò non arreca pregiudizio all'attività didattica.
Approvato all'unanimità.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 82
Anno Accademico 1996-1997 Seduta del 04.07.97
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 9
Argomento: Varie ed eventuali
O G G E T T O
ALSI - Associazione nazionale Laureati in Scienze dell'Informazione e Informatica
L'Associazione nazionale laureati, ha chiesto a questo Consiglio l'autorizzazione a divulgare la domanda di associazione all'ALSI, unitamente alla domanda di laurea, la domanda di associazione all'ALSI.
Dopo una breve discussione il Consiglio unanime, ritiene più opportuno informare gli studenti in modo diverso.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 83
Anno Accademico 1996-1997 Seduta del 04.07.97
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 10
Argomento: Discussione preliminare sui punti asteriscati
O G G E T T O
Il Presidente cede la parola al decano prof. Luccio per illustrare il punto seguente all'ordine del giorno riguardante la relazione triennale sull'attività didattica del prof. Degano e del prod. Bonuccelli.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente
UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 84
Anno Accademico 1996-1997 Seduta del 04.07.97
FACOLTA' DI SCIENZE MAT. FIS. E NAT.
VERBALE DELLA SEDUTA DEL
CONSIGLIO DI CORSO DI LAUREA IN SCIENZE DELL'INFORMAZIONE
CONSIGLIO DI CORSO DI LAUREA IN INFORMATICA
CONSIGLIO DI DIPLOMA UNIVERSITARIO IN INFORMATICA
Ordine del giorno: 11
Argomento: Questioni riguardanti i professori di fascia A
O G G E T T O
Partecipano il soli professori ordinari e straordinari.
RELAZIONE SUL TRIENNIO DI ATTIVITA' DIDATTICA DI PROFESSORE ORDINARIO - 01.11.1993/31.10.1996
Pierpaolo DEGANO
Esce il prof. Pierpaolo Degano.
A richiesta dell'interessato il Consiglio esprime il proprio giudizio sull'attività didattica svolta da Pierpaolo Degano, professore ordinario di I fascia.
Nel triennio in questione, il prof. Degano ha tenuto il corso di "Linguaggi Formali e Compilatori" presso il corso di Laurea in Scienze dell'Informazione, Facoltà di Scienze m.f.n.
Inoltre, ha tenuto due corsi alla Scuola di Dottorato in Informatica.
Infine, Pierpaolo Degano è stato relatore di alcune tesi di Laurea in Scienze dell'Informazione e di una tesi di dottorato in Informatica. In qualità di controrelatore, è stato anche membro di alcune commissioni di tesi di Dottorato in Informatica in Italia e all'estero.
Maurizio BONUCCELLI
Esce il prof. Maurizio Bonuccelli.
A richiesta dell'interessato il Consiglio esprime il proprio giudizio sull'attività didattica svolta da Maurizio Bonuccelli, professore ordinario di I fascia.
Nel triennio in questione ha prestato servizio presso l'Università di Roma "La Sapienza" in qualità di professore strordinario di "Teoria degli Algoritmi e della Calcolabilità". Ha ottenuto la conferma in ruolo in qualità di professore ordinario a decorrere dall'anno accademico 1993/94. Il primo novembre 1994 si è trasferito all'Univeristà di Pisa in qualità di professore ordinario di "Sistemi per l'elaborazione dell'Informazione" prima e di "Sistemi Operativi" poi.
Nell' A.A. 1993-94 ha tenuto il corso di Tecnologia degli Elaboratori in Tempo Reale I presso il Corso di Laurea in Scienze dell' Informazione dell' Università di Roma " La
cont. Del. n. 84/1 del 04.07.97
Sapienza". Contemporaneamente ha fatto parte del collegio dei docenti del Dottorato di Ricerca in Informatica presso l' Università predetta ed è stato nominato, ed ha svolto funzioni di Presidente del Consiglio di Corso di Laurea in Scienze dell' Informazione.
Nell' A.A. 1994-95 ha tenuto il corso di Architettura degli Elaboratori I presso il Corso di Laurea in Informatica dell' Università di Pisa ed ha svolto un corso su "Protocolli per reti di calcolatori" per il Dottorato di Ricerca in Informatica dell' Università di Pisa.
Nell' A.A. 1995-96 ha tenuto il corso di Sistemi Operativi I presso il Corso di Laurea in Informatica dell' Università di Pisa. Contemporaneamente ha tenuto il corso di Metodi per il Trattamento dell Informazioni (semestrale) presso il Corso di Laurea in Scienze Biologiche dell' Università di Pisa.
Nello stesso periodo ha inoltre partecipato alle commissioni di esame di vari corsi del Corso di Laurea in Scienze dell' Informazione dell' Università di Roma " La Sapienza", e del Corso di Laurea in Informatica dell' Università di Pisa.
Ha seguito, in qualità di relatore e controrelatore, numerose tesi di Laurea.
Negli A.A. 1994-95 e 1995-96 è stato nominato ed ha svolto le funzioni di Vicepresidente del Consiglio di Corso di Laurea in Informatica e Scienze dell' Informazione, e corso di Diploma in Informatica dell' Università di Pisa, svolgendo anche le funzioni di Presidente della Commissione Didattica di quel Consiglio.
Letto, approvato e sottoscritto seduta stante.
Il Segretario Il Presidente