Masters in Computer Science

  1. Home
  2. Teaching
  3. Master’s degrees (no longer running)
  4. Masters in Computer Science
  5. Insegnamenti
Informatica

Course modules

Course partially running

   

Links

Inserisci la matricola per vedere la tua offerta formativa nell'anno corretto.

1st Semester from 10/1/09 to 1/31/10
years TTA E-lrng Name Teacher or coordinator
2° B Advanced algorithms Roberto Posenato
2° B Automatic System Analysis and Verification Roberto Giacobazzi (Coordinator)
2° B Automated Deduction Alessandro Farinelli (Coordinator)
2° G The Physics of Integrated Devices Francesca Monti (Coordinator)
2° B Functional Languages Andrea Masini
2° G computational logic Gianluigi Bellin
2° B Spazio Moodle non più disponibile Security and Cryptology Roberto Segala (Coordinator)
2° B Advanced Operating Systems Graziano Pravadelli (Coordinator)
2° B Spazio Moodle non più disponibile Electronic Design Automation Tiziano Villa (Coordinator)

2nd Semester from 3/1/10 to 6/15/10
years TTA E-lrng Name Teacher or coordinator
2° G Mathematical analysis 2 Elisa Mastrogiacomo (Coordinator)
2° B Quantum computing Alessandra Di Pierro
2° G Algebraic Methods Lidia Angeleri (Coordinator)
2° G Probability and Statistics Methods Laura Maria Morato (Coordinator)
2° B Non-conventional Calculation Methods Vincenzo Manca (Coordinator)
2° B Network and systems security Luca Vigano' (Coordinator)
2° B Spazio Moodle non più disponibile Sistemi distribuiti dedicati Nicola Bombieri (Coordinator)
2° B Expert Systems Matteo Cristani (Coordinator)
2° B Information Systems Barbara Oliboni (Coordinator)

Further didactic activities

Share