Time Table - September 26th 2011 - January 20th 2012
| Monday | Tuesday | Wednesday | Thursday | Friday | |
|---|---|---|---|---|---|
| 8.30 - 10.30 | |||||
| 10.30 - 12.30 | Ric. | ASD | |||
| 12.30 - 14.30 | |||||
| 14.30 - 16.30 | ASD | ||||
| 16.30 - 18.30 | Sc. Sup. | Sc. Sup. |
Il ricevimento sara' sospeso negli otto giorni precedenti ad una prova scritta.
Presentations
- Salone dello Studente 2011 (corsi di laurea in scienze e tecnologie informatiche)
- Salone dello Studente 2012 (corsi di laurea in scienze e tecnologie informatiche)
Courses
- Algorithms and Data Structures (in Italian).Corso di Laurea Triennale in Tecnologie Web e Multimediali. 9 credits.
- Algorithmica. Corso di Laurea Magistrale in Informatica, Corso di Laurea Magistrale in Comunicazione Multimediale e Tecnologie dell'Informazione, Corso di Laurea Magistrale in Matematica. In cooperation with Prof. Alberto Policriti. 12 credits.
- Algorithms and Complexity. Corso di Laurea Specialistica in Informatica, Corso di Laurea Specialistica in Tecnologie dell'Informazione. The course exploits part of Algorithmica course. 6 credits.
- Hybrid Automata. Corso di Dottorato in Informatica.
- Dalla Semantica Operazionale all'Analisi Dinamica dei Sistemi. Scuola Superiore UNIUD.
Thesis and Trainings (in Italian)
- Tesi in collaborazione con Gruppo Morphos di Acritas S.r.l. STUDIO E REALIZZAZIONE DI SISTEMI DI CONFIGURAZIONE. Sono previste sia tesi di carattere teorico che implementativo adatte principalmente a studenti dei corsi di laurea magistrale e specialistici.
- Analisi di Profili Genici. STUDIO ED IMPLEMENTAZIONE DI METODI PER L'ANALISI AUTOMATICA DI PROFILI GENICI. Tesi sia di carattere implementativo che teorico adatte sia a studenti dei corsi di laurea triennali che specialistici.
- Information Flow Security. ANALISI DI METODI FORMALI PER LA SICUREZZA. Tesi di carattere prevalentemente teorico adatte a studenti del corso di laurea magistrale e specialistica in Informatica.
- Hybrid Automata. STUDIO DI SEMANTICHE APPROSSIMATE ED ALGORITMI EFFICIENTI PER AUTOMI IBRIDI. Tesi di carattere prevalentemente teorico adatte a studenti del corso di laurea magistrale e specialistica in Informatica e Matematica.
