PhD in Computer Science (last activated in 2013)

PhD in Computer Science (last activated in 2013)

Course partially running (all years except the first)

   

List of advanced teaching activities by series/year

28° Ciclo
Internal activities
Name Period
Course title: Algorithmic Graph Theory 5-21 marzo 2013
24° ciclo
Internal activities
Name Period
Corso: Elementi di Topologia 2 febbraio - 6 aprile 2009
Insegnamento "Elementi di topologia" 2 febbraio - 6 aprile 2009
23° ciclo
Internal activities
Name Period
Corso "Automatic Termination Analysis of Programs" May 6, 8, 13, 15 and 20, 2008
Corso “Deduction systems for non-classical logics" 29 Aprile – 4 Giugno 2008 (20 ore)
Corso "Image Registration – 2D, 3D, Rigid and Deformable Scenes" April 28 - May 2 and May 12-16, 2008
Model Checking April 2008
22° ciclo
Internal activities
Name Period
Corso "Advanced algorithms for the analysis and visualization of DNA and protein sequences" - Prof. Zu-Guo Yu 16-26 Luglio 2007
Corso "Introduction to Engineering and Formal Methods for Information Security" - Prof. David Basin 11-18 Settembre 2007
Introduction to Engineering and Formal Methods for Information Security - Prof. Dr. David Basin 11-18 Settembre 2007
Lectio Magistralis: Biometric Recognition: How Do I Know Who You Are? - Anil K. Jain 12 Luglio 2007
Lectio Magistralis "Biometric Recognition: How do I Know who you are ?" - Prof. Anil K. Jain 12 Luglio 2007
Lectio Magistralis "Information Security: from an Art to a Science" - Prof. David Basin 13 settembre 2007
Lectio Magistralis: Information Security: From an Art to a Science - Prof. Dr. David Basin 13 Settembre 2007
Lectio Magistralis "Neuroscience and artificial intelligence" - Prof. Tommaso Poggio 12 Dicembre 2007
19° ciclo
Internal activities
Name Period
Corso base di complessità e approssimazione Novembre-dicembre 2004
Doctoral Class on Modern Mathematics for Contemporary Sound Modeling SEPT. 28 -- 30 2004 NOV. 18 2004 DEC. 16 2004