Manzonetto Giulio

Phd Exams

Exam Professor Mark
Multimedia and Web Databases Selcuk Candan 18/20
Strong static typing and advanced functional programming Francesco Zappa Nardelli 20/20
Machine Learning Alessandro Sperduti 18/20
Approximation, Chance and Networks Alessandro Panconesi 25/30
Game-theoretic approach to multi-agent systems Krzysztof R. Apt 18/20
Formal Methods: Theory And Practice Lipari School. B-

Study Plan

I finished the exams as of June 17th, 2004: my average vote is 28.68/30 (projected to the Laurea-MSc vote this corresponds to 104.98/110). My final vote is 110/110 cum laude.
Exam Credits Mark
(max = 30+laude)
Laurea triennale    
Programmazione 6 30L
Esercitazioni di Programmazione 3 30L
Laboratorio di Programmazione 4 30L
Metodologie di Programmazione 6 27
Architettura degli Elaboratori A 6 25
Architettura degli Elaboratori B 6 25
Laboratorio di Architettura 6 25
Calcolo I 4 18
Calcolo II 3 18
Esercitazioni di Calcolo 2 18
Integrazione di Calcolo 3 18
Strutture Discrete 4 30L
Esercitazioni di Strutture Discrete 2 30L
Algebra Lineare 3 22
Integrazione di Matematica Discreta 3 22
Italiano Tecnico 3 SI
Internato o Stage 3 SI
Algoritmi e Strutture Dati 6 28
Analisi e Progetto di Algoritmi 6 28
Lab. di Algoritmi e Programmazione 4 28
Integrazione di Algoritmi e Strutture Dati 3 28
Fisica 6 25
Teoria Dell'informazione 6 19
Sistemi Operativi A 6 28
Sistemi Operativi B 3 28
Laboratorio di Sistemi Operativi 4 28
Integrazione di Sistemi Operativi 3 28
Calcolo III 6 25
Logica 6 25
Informatica Generale 6 30
Lingua Inglese 6 SI
Probabilità e statistica 6 24
Ingegneria del software 6 30
Basi di dati 6 28
Lab. Basi di Dati 6 30
Computabilità 6 30L
Linguaggi e compilatori 6 30L
Laurea specialistica    
Lab. Analisi e Verifica di Programmi 3 30L
Analisi e Verifica di Programmi 3 30L
Lab. Linguaggi e compilatori 6 29
Metodi Formali 6 30L
Linguaggi Funzionali 6 30L
Ricerca Operativa 6 27
Basi di dati 2 6 27
Linguaggi logici 6 30L
Calcolo parallelo 3 30L
Laboratorio di calcolo parallelo 3 30L
Semantica di Linguaggi di Programmazione 6 30L
Algebraic Specificaties 3 30L
Reti neurali 3 30
Visione artificiale 3 30
Reti di Calcolatori 6 30L
Protocol Validation 6 27
Calcolo numerico 6 25
Complementi di calcolo numerico 6 25