UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 73

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

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