Masters in Computer Science

Informatica

Course modules

Course partially running

Already enrolled?

First four-month term from 9/29/03 to 11/28/03
years	TTA	E-lrng	Name	Teacher or coordinator
1°			Mathematical analysis 2	Stefano De Marchi
1°			Computational Complexity	Roberto Posenato
1°			The Physics of Integrated Devices	Francesca Monti
1°			Algebraic Methods	Enrico Gregorio
1°			Information Theory	Vincenzo Manca

1° 2°			Automated Deduction	Gianluigi Bellin
1° 2°			Security and Cryptology	Roberto Segala
1° 2°			Expert Systems	Matteo Cristani
1° 2°			Advanced Operating Systems	Massimo Poncino
1° 2°	B		Electronic Design Automation	Franco Fummi

Second four-month term from 1/12/04 to 3/12/04
years	TTA	E-lrng	Name	Teacher or coordinator
1°			Probability and Statistics Methods	Laura Maria Morato

1° 2°			Automatic System Analysis and Verification	Roberto Giacobazzi
1° 2°			Concurrent and Mobile Languages	Massimo Merro
1° 2°			Programming Languages and Special Techniques	Nicola Fausto Spoto
1° 2°	A		Methods of Software System Specification	Giuseppe Scollo
1° 2°			Non-conventional Calculation Methods	Vincenzo Manca (Coordinator)
1° 2°			Information Systems	Carlo Combi

Third four-month term from 4/5/04 to 6/11/04
years	TTA	E-lrng	Name	Teacher or coordinator
1°	A		Sytems of Information Elaboration	Franco Fummi (Coordinator)

1° 2°			Semantics	Ugo Solitro

List of teachings with the periods that have not been assigned
years	TTA	E-lrng	Name	Teacher or coordinator
5°			Computing workshop	not yet allocated

Further didactic activities