-PhD Status Page
Dottorato in Informatica - XII ciclo (NEW!) Ph.D.THESIS
Tutor: Adolfo Piperno Corrado Böhm
Supervisor: Corrado Böhm
Aree di ricerca:
per maggiori dettagli si veda la pagina dedicata ai Research Topics.
Scuole frequentate:
Scuola Nazionale dei Dottorati di Informatica - SNDIS97. Bertinoro 19-30 Maggio 1997.
- Corso di Sistemi Distribuiti
- Corso di Complessità Computazionale
- Corso di Logica e Teoria dei Tipi
Scuola di Logica di Cesena. Settembre 1997 (AILA-SILFS).
- Corso di Teoria delle Categorie (Prof. Rosolini)
- Corso di Teoria della Dimostrazione (Prof. Abrusci)
School of Logic & Computation. Aprile 1999 (L&C '99).
- Heriot-Watt University, Edinburgh. 10-13 April 1999.
International School on Information Extraction. July 1999 (SCIE '99).
- Università di Roma "Tor Vergata" , located at ESRIN Frascati. 28/06-2/7/1999
Esami di Dottorato
Modulo M1: Deductive Program Synthesis
Esame effettuato il: 26/6/97
Prof. Richard Waldinger
Modulo M2: Teoria della Complessita'
Esame effettuato il 15/10/97
Prof. Bruno Codenotti
Modulo M3: Logica e Teoria dei Tipi
Esame effettuato il 20/11/97
Prof. Andrea Asperti
Modulo M4: Specifiche formali di proprieta'
di relazioni
in preparazione un lavoro sulla Unificazione Booleana.
Prof. Eugenio Omodeo
Modulo M5: Architetture di Calcolatori III
Esame effettuato il 1/10/98
Prof. Giuseppe De Biase
Modulo M6: Logica Lineare
Esame effettuato il 27/07/98
Prof. Vito Michele Abrusci
Nel comitato organizzatore di Unif'98
back to Department Home page back to Maz home page