-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.

Scuola di Logica di Cesena. Settembre 1997 (AILA-SILFS).

School of Logic & Computation. Aprile 1999 (L&C '99).

International School on Information Extraction. July 1999 (SCIE '99).


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