UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 57

Anno Accademico 1995-1996 Seduta del 03.05.96

L'anno millenovecentonovantasei il giorno tre del mese di maggio alle ore 16.00 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 : Bonuccelli, Capovani, Degano, Levi, Luccio, Maggiolo, Montanari, Pagli, Turini.

Associati: Ambriola, Baiardi, Bevilacqua, Cornolti, Mancarella, Menchi, Pedreschi, Simi

Ricercatori ed assistenti: Brogi, Ciuffoletti, Corradini, Ferrari, Leoncini, Masini, Pelagatti, Ricci, Rossi.

Rappr. studenti: Basile, Bove, Brodo, Moscariello, Rapisarda.

Rappr. non docenti: Mongini, Orsi.

Sono assenti giustificati

Ordinari: Colombini, Galbiati, Gallo, Maestrini, Modica, Montangero, Romani.

Associati: Acquistapace, Amoroso, Antonelli, Attardi, Barbuti, Caroti-Ghelli, Cazzaniga, Fidecaro, Ghelli, Leoni, Manca, Morreale, Passaseo, Rolla, Zanzotto.

Ricercatori e assistenti: Danelutto, Gabbrielli, Gemignani, Giacobazzi, Laganà, Molè, Occhiuto, Piram, Scutellà, Spadafora, Sperduti.

Rappr. studenti: Mannini, Testaferrata.

Rappr. non docenti:

Presiede il Prof. G. Levi

Esercita le funzioni di Segretario il Prof. M. Bonuccelli

cont. Del. n. 57/1 del 03.05.96

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

1) Comunicazioni

2) Perfezionamento della Programmazione Didattica a.a. 1996/97

- affidamenti didattici aggiuntivi

- spostamenti di attribuzione per titolarietà

- corsi vacanti

3) Conferma in ruolo ricercatori

- Brogi

4) Giudizi sull'attività didattica di ricercatori

5) Pratiche studenti

6) Congedi e missioni

7) Varie ed eventuali

8) Discussione preliminare sui punti asteriscati

* 9) Cambiamento di titolarietà di professore di 1ª fascia

* Partecipano solo i professori di 1ª fascia

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 58

Anno Accademico 1995-1996 Seduta del 03.05.96

Ordine del giorno: 1

Argomento: Comunicazioni

Il Presidente comunica quanto segue:

- con lettera del 5 aprile 1996 il Prof. Carlo Bradaschia ha rassegnato le proprie dimissioni dal posto di professore associato di Fisica.

Il Consiglio prende atto e ringrazia il Prof. Bradaschia del lavoro svolto.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 59

Anno Accademico 1995-1996 Seduta del 03.05.96

Ordine del giorno: 2

Argomento: Perfezionamento della Programmazione Didattica a.a. 1996/97

- affidamenti didattici aggiuntivi

- spostamenti di attribuzione per titolarietà

- corsi vacanti

A rettifica della delibera n. 41/1 del 25.03.96, la titolarietà del prof. F. Baiardi, viene spostata dal corso di "Architettura degli Elaboratori I" del Diploma Universitario in Informatica, al corso di "Architettura degli Elaboratori II: architetture parallele e distribuite - A" del Corso di Laurea in Informatica.

A rettifica della delibera n. 41/5 del 25.03.96, la titolarietà del prof. V. Ambriola, viene spostata dal corso di "Ingegneria del Software I- A" del Corso di Laurea in Informatica, al corso di "Ingegneria del Software" del Diploma Universitario in Informatica. Come già deliberato nel precedente consiglio, il corso di "Ingegneria del Software I - A" del corso di laurea in Informatica, viene mutuato del Corso di "Ingegneria del Software" del diploma.

In seguito all'assegnazione di un corso presso il Corso di Laurea in Matematica per affidamento didattico sostitutivo al prof. F. Amoroso, il corso di "Matematica Discreta- A", di cui era titolare presso il nostro corso di laurea, risulta vacante.

Approvato all'unanimità.

A seguito di spostamenti nelle attribuzioni di titolarietà, di congedi e di dimissioni, risultano vacanti i seguenti corsi:

Architettura degli Elaboratori I

Cont. del. n. 59/1 del 03.05.96

Matematica Discreta A

Fisica Generale I - B

Fisica Generale II - A

Approvato all'unanimità.

Il Consiglio su proposta del prof. G. Attardi, disattiva il corso complementare di "Interazione uomo-macchina: laboratorio di interfacce grafiche" e attiva il corso di "Interazione uomo-macchina: programmazione di interfacce grafiche".

Approvato all'unanimità.

E' pervenuta la sola domanda del Prof. Alessandro Berarducci che si è dichiarato disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professore associato.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

E' pervenuta la sola domanda della Dott. ssa Maria Grazia Scutellà che si è dichiarata disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di ricercatore confermato.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

E' pervenuta la sola domanda della Dott.ssa Laura Ricci che si è dichiarata disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di ricercatore confermato.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

Cont. del. n. 59/2 del 03.05.96

E' pervenuta la sola domanda del Prof. Giorgio Gallo che si è dichiarato disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professore ordinario.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

E' pervenuta la sola domanda del Dott. Pietro Piram che si è dichiarato disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di assistente ordinario.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

E' pervenuta la sola domanda del Prof. Milvio Capovani che si è dichiarato disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professore ordinario.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

E' pervenuta la sola domanda del Prof. Vincenzo Manca che si è dichiarato disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professore associato.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

E' pervenuta la sola domanda della Prof.ssa Dionisia Cazzaniga che si è dichiarata disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professoresa associata.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

Cont. del. n. 59/3 del 03.05.96

E' pervenuta la sola domanda del Prof. Roberto Barbuti che si è dichiarato disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professore associato.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

E' pervenuta la sola domanda del Prof. Giorgio Ghelli che si è dichiarato disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professore associato.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

E' pervenuta la sola domanda del Prof. Marco Bellia che si è dichiarato disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professore associato.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

E' pervenuta la sola domanda del Prof. Roberto Bevilacqua che si è dichiarato disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professore associato.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

E' pervenuta la sola domanda del Prof. Gualtiero Leoni che si è dichiarato disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professore associato.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

Cont. del. n. 59/4 del 03.05.96

E' pervenuta la sola domanda del Prof. Vincenzo Ambriola che si è dichiarato disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professore associato.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

E' pervenuta la sola domanda del Prof. Fabrizio Baiardi che si è dichiarato disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professore associato.

Il Consiglio esprime parere favorevole a che l'insegnamento gli sia attribuito con 1 astenuto.

E' pervenuta la sola domanda del Prof. Fabrizio Baiardi che si è dichiarato disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professore associato.

Il Consiglio esprime parere favorevole a che l'insegnamento gli sia attribuito con 1 astenuto.

E' pervenuta la sola domanda della Prof.ssa Maria Simi che si è dichiarata disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professoressa associata.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

E' pervenuta la sola domanda della Prof.ssa Antonina Starita che si è dichiarata disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professoressa associata.

Il Consiglio esprime parere favorevole a che l'insegnamento gli sia attribuito con 1 astenuto.

Cont. del. n. 59/5 del 03.05.96

E' pervenuta la sola domanda della Prof.ssa Antonina Starita che si è dichiarata disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professoressa associata.

Il Consiglio esprime parere favorevole a che l'insegnamento gli sia attribuito con 1 astenuto.

E' pervenuta la sola domanda della Prof.ssa Antonina Starita che si è dichiarata disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professoressa associata.

Il Consiglio esprime parere favorevole a che l'insegnamento gli sia attribuito con 1 astenuto.

E' pervenuta la sola domanda del Prof. Perangelo Rolla che si è dichiarato disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professore associato.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

E' pervenuta la sola domanda della Dott.ssa Maria Rita Laganà che si è dichiarata disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di assistente ordinario.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

E' pervenuta la sola domanda del Prof. Giorgio Levi che si è dichiarato disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professore ordinario.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

Cont. del. n. 59/6 del 03.05.96

E' pervenuta la sola domanda del Prof. Franco Turini che si è dichiarato disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professore ordinario.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

E' pervenuta la sola domanda del Prof. Andrea Maggiolo Schettini che si è dichiarato disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professore ordinario.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

E' pervenuta la sola domanda del Prof. Fabrizio Luccio che si è dichiarato disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professore ordinario.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

E' pervenuta la sola domanda del Prof. Pierpaolo Degano che si è dichiarato disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professore ordinario.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

E' pervenuta la sola domanda del Prof. Egon Boerger che si è dichiarato disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professore ordinario.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

Cont. del. n. 59/7 del 03.05.96

E' pervenuta la sola domanda del Prof. Antonio Albano che si è dichiarato disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professore ordinario.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

E' pervenuta la sola domanda del Prof. Francesco Romani che si è dichiarato disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professore ordinario.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

E' pervenuta la sola domanda del Prof. Marco Vanneschi che si è dichiarato disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di professore ordinario.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

E' pervenuta la sola domanda del Dott. Dino Leporini che si è dichiarato disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di ricercatore confermato.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

E' pervenuta la sola domanda del Dott. Mauro Lucchesi che si è dichiarato disponibile a svolgere il corso in aggiunta ai compiti istituzionali assegnati dalla Facoltà relativi all'impegno orario annuo complessivo per la didattica, previsto dal proprio stato giuridico di ricercatore confermato.

Il Consiglio esprime all'unanimità, parere favorevole a che l'insegnamento gli sia attribuito.

Cont. del. n. 59/8 del 03.05.96

Per la copertura di tali corsi il Consiglio unanime chiede che venga emesso un nuovo bando:

Analisi Matematica I

Matematica Discreta

Calcolo delle Prob. e Statistica Matematica

Algoritmi e Strutture Dati I

Laboratorio di Informatica I

Laboratorio di Informatica II

Architettura degli Elaboratori I

Laboratorio di Informatica III

Laboratorio di Informatica IV

Ricerca Operativa

Ricerca Operativa: organizzazione e gestione aziendale

Informatica Generale: aspetti sociali, etici e professionali

Linguaggi di Programmazione: classificazione e macchine astratte

Sistemi di Elaborazione e dell'Informazione: reti di calcolatori

Algoritmi e Strutture Dati: algoritmi paralleli e distribuiti

Calcolo delle Probabilità - B

Fisica Generale I - B

Fisica Generale II - A

Fondamenti dell' Informatica: calcolabiltà e complessità - B

Informatica Grafica: laboratorio di realtà virtuale

Interazione uomo-macchina: programmazione di interfacce grafiche

Laboratorio di Informatica I - A/B

Laboratorio di Informatica II - A/B

Laboratorio di Informatica III - A/B

Laboratorio di Informatica IV - A/B

Matematica Discreta - A/B

Matematica Computazionale: calcolo parallelo

Ottimizzazione Combinatoria

Ricerca Operativa: tecniche di simulazione

Teoria dei Segnali

Teoria dei Sistemi

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 60

Anno Accademico 1995-1996 Seduta del 03.05.96

Ordine del giorno: 3

Argomento: Conferma in ruolo ricercatori

- Brogi

A richiesta dell'interessato il Consiglio di Corso di Laurea esprime il giudizio sull'attività didattica di Antonio Brogi ricercatore non confermato presso il Dipartimento di Informatica, per le seguenti funzioni svolte nel periodo 19.04.1993 - 20.04.96 presso il Corso di Laurea in Scienze dell'Informazione (allegato n. 1):

- durante l'anno accademico 1992/93, ha partecipato agli esami del corso di "Metodi per il Trattamento dell'Informazione - A" per il Corso di laurea in Scienze dell'Informazione, ed ha tenuto parte delle lezioni partecipando agli esami del corso di "Metodologie della Programmazione" per la Scuola Diretta a Fini Speciali in Informatica;

- durante l'anno accademico 1993/94, ha tenuto le esercitazioni per il corso di "Programmazione I - A/B/C" per il Corso di Laurea in Informatica e per il Diploma Universitario in Informatica;

- dal 16 agosto 1994 all'11 agosto 1195 ha usufruito di un periodo di congedo straordinario per motivi di studio e di ricerca presso il Dipartimento di Scienze dell'Università della California;

- per l'anno accademico 1995/96 sta tenendo le esercitazioni del corso di "Algoritmi e Strutture Dati I - A" per il corso di Laurea in Informatica; nel mese di novembre 1995 ha tenuto un seminario su "Semantiche composizionali completamente astratte per algebre di programmi logici";

- è stato relatore di quattro tesi di laurea e controrelatore di diverse lauree per il Corso di laurea in Scienze dell'Informazione.

Il Consiglio si dichiara pienamente soddisfatto dell'attività didattica svolta dal Dott. A. Brogi.

Approvato all'unanimità.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 61

Anno Accademico 1995-1996 Seduta del 03.05.96

Ordine del giorno: 4

Argomento: Giudizi sull'attività didattica di ricercatori

A richiesta dell'interessata il Consiglio di Corso di Laurea esprime il giudizio sull'attività didattica di Susanna Pelagatti ricercatrice non confermata presso il Dipartimento di Informatica, per le seguenti funzioni svolte nel periodo 1994/1996 presso il Corso di Laurea in Informatica:

- durante l'anno accademico 1994/95, ha tenuto le esercitazioni per il corso di "Sistemi Operativi I - A";

- durante l'anno accademico 1995/96, ha tenuto le esercitazioni per il corso di "Architettura degli Elaboratori I - A".

Il Consiglio si dichiara pienamente soddisfatto dell'attività didattica svolta dalla Dott.ssa S. Pelagatti.

Approvato all'unanimità.

A richiesta dell'interessata il Consiglio di Corso di Laurea esprime il giudizio sull'attività didattica di Laura Emilia Maria Ricci ricercatrice confermata presso il Dipartimento di Informatica, per le seguenti funzioni svolte nel periodo 1992/1996, presso il Corso di Laurea in Scienze dell'Informazione e il Corso di Laurea in Informatica. Nel corso di tale periodo ha svolto:

- durante l'anno accademico 1992-93, ha tenuto il corso integrativo di "Teoria degli Algoritmi e Calcolabilità" del Corso di Laurea in Scienze dell'Informazione ;

- durante gli anni accademici 1993-94 e 1994-95, ha tenuto il corso integrativo di "Progetto di Sistemi Numerici" del Corso di Laurea in Scienze dell'Informazione;

- durante l'anno accademico 1994-95, ha tenuto il corso integrativo di "Sistemi Operativi" del Corso di Laurea in Informatica;

- durante gli anni accademici 1992-93 e 1993-94, ha fatto assistenza al corso di "Tecniche di Progettazione Automatica" del Corso di Laurea in Scienze dell'Informazione;

- durante l'anno accademico 1995-96, ha tenuto per Affidamento didattico aggiuntivo per il corso di "Progetto di Sistemi Numerici - A" del Corso di Laurea in Scienze dell'Informazione;

- è stata relatrice e controrelatrice di numerose tesi di Laurea;

Il Consiglio si dichiara pienamente soddisfatto dell'attività didattica svolta dalla Dott.ssa L. Ricci.

Approvato all'unanimità.

A richiesta dell'interessato il Consiglio di Corso di Laurea esprime il giudizio sull'attività didattica di Mauro Leoncini ricercatore non confermato presso il Dipartimento di Informatica, per le seguenti funzioni svolte nel periodo 1992/1996 presso il Corso di Laurea in Scienze dell'Informazione:

- durante gli anni accademici 1992/93 e 1993/94 ha svolto le esercitazioni per il corso di "Calcolo Numerico" presso il Corso di laura in Scienze dell'Informazione;

- durante l'anno accademico 1994/95, ha tenuto le esercitazioni per il corso di "Calcolo Numerico" per il Diploma Universitario in Informatica, e le lezioni integative per il corso di "Teoria ed Applicazioni delle Macchine Calcolatrici" per il corso di laurea in Matematica;

- per l'anno accademico 1995/96 sta tenendo le esercitazioni del corso di "Analisi Numerica" per il corso di Laurea in Informatica.

Il Consiglio si dichiara pienamente soddisfatto dell'attività didattica svolta dal Dott. M. Leoncini.

Approvato all'unanimità.

A richiesta dell'interessato il Consiglio di Corso di Laurea esprime il giudizio sull'attività didattica di Antonio Brogi ricercatore non confermato presso il Dipartimento di Informatica, per le seguenti funzioni svolte nel periodo 1990/1996, presso il Corso di Laurea in Scienze dell'Informazione:

- negli anni accademici 1990/91 e 1992/93 viene nominato cultore della materia e svolge parte delle attività didattiche connesse all'insegnamento del corso di "Metodi per il Trattamento dell'Informazione A" tenuto dal Prof. Turini partecipando agli esami e alla loro correzione.

- durante l'anno accademico 1992/93, ha partecipato agli esami del corso di "Metodi per il Trattamento dell'Informazione - A" per il Corso di laurea in Scienze dell'Informazione, ed ha tenuto parte delle lezioni partecipando agli esami del corso di "Metodologie della Programmazione" per la Scuola Diretta a Fini Speciali in Informatica;

- durante l'anno accademico 1993/94, ha tenuto le esercitazioni per il corso di "Programmazione I - A/B/C" per il Corso di Laurea in Informatica e per il Diploma Universitario in Informatica;

- dal 16 agosto 1994 all'11 agosto 1195 ha usufruito di un periodo di congedo straordinario per motivi di studio e di ricerca presso il Dipartimento di Scienze dell'Università della California;

- per l'anno accademico 1995/96 sta tenendo le esercitazioni del corso di "Algoritmi e Strutture Dati I - A" per il corso di Laurea in Informatica; nel mese di novembre 1995 ha tenuto un seminario su "Semantiche composizionali completamente astratte per algebre di programmi logici";

- è stato relatore di quattro tesi di laurea e controrelatore di diverse lauree per il Corso di laurea in Scienze dell'Informazione.

Il Consiglio si dichiara pienamente soddisfatto dell'attività didattica svolta dal Dott. A. Brogi.

Approvato all'unanimità.

A richiesta dell'interessato il Consiglio di Corso di Laurea esprime il giudizio sull'attività didattica di Marco Danelutto ricercatore confermato presso il Dipartimento di Informatica, per le seguenti funzioni svolte nel periodo 1991/1996 presso il Corso di Laurea in Scienze dell'Informazione e di Informatica:

- durante l'anno accademico 1991/92, ha svolto lezioni sull'ambiente di sviluppo Meiko CS/1 per il linguaggio di programmazione OCCAM e assistenza ai progetti didattici conclusivi, come cultore della materia nell'ambito del corso di "Tecniche di Progettazione Automatica"

- durante gli anni accademici 1992/93 e 1993/94, ha tenuto il corso integrativo per l’insegnamento di "Sistemi per l’Elaborazione dell’Informazione II";

- durante gli anni accademici 1991/92, 1992/93 e 1993/94, ha tenuto le lezioni per il corso di "Tecniche di Progettazione Automatica";

- durante gli anni accademici 1991/92 e 1993/94, ha tenuto le lezioni per il corso della Scuola di Dottorato su "Architetture Parallele";

- durante l’anno accademico 1994/95, ha tenuto le esercitazioni per il corso di "Laboratorio di Informatica II" del corso di laurea in Informatica ;

- durante l’anno accademico 1995/96, sta effettuando le esercitazioni per il corso di "Laboratorio di Informatica II A" del corso di laurea in Informatica, e svolge per affidamento didattico aggiuntivo il corso di "Laboratorio di Informatica II - A"

- è stato relatore e controrelatore di numerose tesi di Laurea;

- inoltre ha fatto parte della "Commissione pratiche studenti".

Il Consiglio si dichiara pienamente soddisfatto dell'attività didattica svolta dal Dott. M. Danelutto.

Approvato all'unanimità.

A richiesta dell'interessato il Consiglio di Corso di Laurea esprime il giudizio sull'attività didattica di Andrea Masini ricercatore non confermato presso il Dipartimento di Informatica, per le seguenti funzioni svolte nel periodo 1993/1996 presso il Corso di Laurea in Scienze dell'Informazione e di Informatica:

- durante l'anno accademico 1993/94, ha svolto ciclo lezioni per il corso di "Metodi per il Trattamento dell'Informazione" del Corso di Laurea in Scienze dell'Informazione e esercitazioni per "Algoritmi e Strutture Dati - C" per il Corso di Laurea e Diploma in Informatica;

- durante l’anno accademico 1994/95, ha svolto le esercitazioni per il corso di "Laboratorio di Informatica II A" del corso di laurea in Informatica;

- durante l’anno accademico 1995/96, ha svolto le esercitazioni per il corso di "Laboratorio di Informatica II B" del corso di laurea in Informatica ;

Il Consiglio si dichiara pienamente soddisfatto dell'attività didattica svolta dal Dott. A. Masini.

Approvato all'unanimità.

A richiesta dell'interessato il Consiglio di Corso di Laurea esprime il giudizio sull'attività didattica di Alessandro Sperduti ricercatore non confermato presso il Dipartimento di Informatica, per le seguenti funzioni svolte nel periodo 1994/1996 presso il Corso di Laurea in Scienze dell'Informazione e di Informatica:

- durante l'anno accademico 1994/95, ha svolto le esercitazioni del corso di "Sistemi Operativi I" del Corso di Laurea per il Corso di Laurea in Informatica;

- durante l’anno accademico 1995/96, ha svolto le esercitazioni per il corso di "Teoria dei Sistemi" del corso di laurea in Scienze dell'Informazione;

- durante l’anno accademico 1995/96, ha svolto un corso sulle reti neurali per il Dottorato di Ricerca in Informatica di Pisa;

- è stato relatore di numerose tesi di laurea.

Il Consiglio si dichiara pienamente soddisfatto dell'attività didattica svolta dal Dott. A. Sperduti.

Approvato all'unanimità.

A richiesta dell'interessato il Consiglio di Corso di Laurea esprime il giudizio sull'attività didattica di Maurizio Gabbrielli ricercatore non confermato presso il Dipartimento di Informatica, per le seguenti funzioni svolte nel periodo 1994/1996 presso il Corso di Laurea in Scienze dell'Informazione e di Informatica:

- durante l'anno accademico 1994/95, ha svolto le esercitazioni del corso di "Algoritmi e Strutture Dati" partecipando agli esami del Corso di Laurea per il Corso di Laurea in Informatica;

- durante l'anno accademico 1995/96, ha svoltole esercitazioni del corso di "Algoritmi e Strutture Dati" partecipando agli esami del Corso di Laurea per il Corso di Laurea in Informatica.

Il Consiglio si dichiara pienamente soddisfatto dell'attività didattica svolta dal Dott. M. Gabbrielli.

Approvato all'unanimità.

A richiesta dell'interessato il Consiglio di Corso di Laurea esprime il giudizio sull'attività didattica di Roberto Giacobazzi ricercatore non confermato presso il Dipartimento di Informatica, per le seguenti funzioni svolte nel periodo 1994/1996 presso il Corso di Laurea in Scienze dell'Informazione e di Informatica:

- durante l'anno accademico 1994/95, ha svolto le esercitazioni del corso di "Linguaggi Speciali di Programmazione" partecipando agli esami del Corso di Laurea per il Corso di Laurea in Informatica;

- durante l'anno accademico 1995/96, ha svolto le esercitazioni del corso di "Programmazione I - B/C" partecipando agli esami del Corso di Laurea per il Corso di Laurea in Informatica.

Il Consiglio si dichiara pienamente soddisfatto dell'attività didattica svolta dal Dott. R. Giacobazzi.

Approvato all'unanimità.

A richiesta dell'interessato il Consiglio di Corso di Laurea esprime il giudizio sull'attività didattica di Augusto Ciuffoletti ricercatore confermato presso il Dipartimento di Informatica, per le seguenti funzioni svolte del periodo 1987/1996 presso il Corso di Laurea in Scienze dell'Informazione e in Informatica:

- durante l'anno accademico 1987/88, ha tenuto le esercitazioni per il corso di "Sistemi per l'Elaborazione dell'Informazione I";

- durante l'a.a. 1988/89 ha svolto un corso di Pascal per la Scuola Diretta a Fini Speciali in Informatica

- durante gli anni accademici dal 1988/89 al 1992/93, ha tenuto le esercitazioni per i corsi di "Teoria degli Algoritmi e Calcolabilità";

- durante l'anno accademico 1993/94 ha svolto le esrcitazioni per il corso di "Algoritmi e Strutture Dati" e un ciclo di lezioni nell'ambito del corso di "Teoria degli Automi";

- durante l'anno accademico 1994/95 ha svolto le esrcitazioni per il corso di "Algoritmi e Strutture Dati" e per il corso di "Laboratorio di Informatica II"

- durante l'anno accademico 1995/96 ha svolto le lezioni per il corso di "Laboratorio di Informatica II" per affidamento didattico aggiuntivo;

- inoltre ha svolto attività di relatore e controrelatore per numerose tesi di laurea.

Il Consiglio si dichiara pienamente soddisfatto dell'attività didattica svolta dal Dr. A. Ciuffoletti.

Approvato all'unanimità.

A richiesta dell'interessato il Consiglio di Corso di Laurea esprime il giudizio sull'attività didattica di Vladimiro Sassone ricercatore non confermato presso il Dipartimento di Informatica, per le seguenti funzioni svolte nel periodo 1994/1996 presso il Corso di Laurea in Informatica:

- durante l'anno accademico 1995/96 ha tenuto le esercitazioni per il corso di "Sistemi Operativi I - A".

Il Consiglio si dichiara pienamente soddisfatto dell'attività didattica svolta dal Dr. V. Sassone.

Approvato all'unanimità.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 62

Anno Accademico 1995-1996 Seduta del 03.05.96

Ordine del giorno: 5

Argomento: Pratiche studenti

Paolo CIAMARONE - in base alla documentazione pervenuta (allegato 2), e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati presso l'Università di Leiden (Olanda), per gli esami già riconosciuti equipollenti con precedenti delibere n. 112 CCL del 25/10/95 e n. 4 del 18/12/95.

"High Performance Computing" e "Application of Multiprocessors" per "Progetto di Sistemi Numerici": 23/30 in data 25/1/96;

"Numerical Mathematics" per Calcolo Numerico: 19/30 in data 15/1/96.

Alessio BRAGADINI - in base alla documentazione pervenuta (allegato 3), e alla delibera n. 62 del CCL del 24.06.94 si riconoscono i seguenti voti, riportati presso l'Università di Linkoping (Svezia), per gli esami già riconosciuti equipollenti con precedenti delibere n. 95 del CCL del 07.07.95 e n. 112 del 25.10.95.

"Advanc. Comp. Archit." (TDTS 51) e "Advanc. Comp. Archit. Project" (TDTS 83) per "Progetto di Sistemi Numerici": 30/30 in data 13/1/96;

"Probability and Statistics: First Course (TAMS 10) per "Calcolo delle Probabilita` e Statistica": 30/30 in data 20/10/95.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 63

Anno Accademico 1995-1996 Seduta del 03.05.96

Ordine del giorno: 6

Argomento: Congedi e missioni

Fulvio Cornolti, professore associato di "Fisica generale", ha richiesto il nulla-osta per un congedo per alternanza, per motivi di studio e ricerca, a norma dell'art. 17 del DPR 382/80, da usufruire nell'a.a.1996/97.

Il prof. Cornolti sarà impegnato come responsabile locale del Progetto SILASI - ERB-PL-95-0765 finanziato nell'ambito del programma "Addestramento e mobilità dei ricercatori".

Scopo del programma è dare descrizione completa e consistente dell'interazione di fasci laser superintensi con la materia a densità del solido.

I centri di ricerca coinvolti nel progetto medesimo che verranno visitati dal professore sono oltre l'Università di Pisa, St. Andrews, Jena, Rostock & Greifswald, Aachen, Helsinki, Imperial College, Politecnico di Darmstadt.

Il Consiglio delibera il nulla osta al congedo, in quanto il corso di "Fisica Generale II - A", sarà coperto con risorse della Facoltà.

Approvato all'unanimità.

Andrea Corradini, ricercatore confermato presso il Dipartimento di Informatica, ha richiesto il nulla-osta per un congedo per motivi di studio, ai sensi dell'art. 8 della legge 18/3/58 n. 349, da usufruire nel periodo 1 settembre 1996 31 agosto 1997.

Il dott. Corradini effettuerà ricerche presso il Centrum voor Wiskunde en Informatica (CWI), Amsterdam (Olanda) attinenti a "Tecniche categoriali per la semantica astratta di sistemi di trasnizione strutturati".

Il Consiglio delibera il nulla osta al congedo.

Approvato all'unanimità.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 64

Anno Accademico 1995-1996 Seduta del 03.05.96

Ordine del giorno: 7

Argomento: Varie ed eventuali

Nessun argomento da discutere.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 65

Anno Accademico 1995-1996 Seduta del 03.05.96

Ordine del giorno: 8

Argomento: discussione preliminare sui punti asteriscati

Il Presidente comunica che verrà discussa la richiesta del Prof. M. Capovani di spostare la propria titolarietà.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente

UNIVERSITA' DEGLI STUDI DI PISA Delibera n. 66

Anno Accademico 1995-1996 Seduta del 03.05.96

Ordine del giorno: 9

Argomento: Cambiamento di titolarietà di professore di 1ª fascia

Partecipano solo i professori di 1ª fascia.

Il prof. Capovani richiede di trasferire la propria titolarietà dal corso di "Matematica Computazionale" a quello di "Analisi Numerica". La richiesta è motivata dalla volontà di trasferirsi su un corso fondamentale vacante, che il prof. Capovani copre attualmente per affidamento aggiuntivo.

Dopo una breve discussione, il Consiglio approva all'unanimità.

Letto, approvato e sottoscritto seduta stante.

Il Segretario Il Presidente