Faculty Home topBanner_en.jpg
 
| where to find uswhere to find us | | telephone e-mailtelephone e-mail | |   | Italiano English ? |
map map
 
*Education *People *Collegial bodies *Offices and service facilities
*News & Events *News *Seminars *Libraries
University Home 
Faculty Home 
 
Didactic offer
* Bachelor programs
* Master's programs
* Tirocini Formativi Attivi
* Specialized degree courses
* Specialized degree courses (partially running)
 
  Courses in the state 'partially running':
* Specialized degree in Agroindustrial Biotechnology
* Specialized degree in Computer Science
 
* Courses
* Schedule
* Didactic plan and student's guide
* Lecture timetable
* Exam calendar
* Course news
* Thesis and internship proposals
* Collegial bodies
* Faculty staff
* Specialized degree in Intelligent and Multimedia Systems
* Specialized Degree in Molecular and Industrial Biotechniques
* Completion courses
* University Master
|
 

Specialized degree in Computer Science

Course partially running

Academic year

Courses

1° Quadrimestre from 10/2/08 to 12/19/08
years E-lrng Name Teacher or coordinator
4° Sytems of Information Elaboration Franco Fummi (Coordinator)
 
4° 5° Mathematical analysis 2 Marco Squassina
4° 5° The Physics of Integrated Devices Francesca Monti
4° 5° Functional Languages Ugo Solitro (Coordinator)
4° 5° Logica computazionale Gianluigi Bellin
4° 5° Probability and Statistics Methods Laura Maria Morato
4° 5° Security and Cryptology Roberto Segala
4° 5° Expert Systems Matteo Cristani

2° Quadrimestre from 1/26/09 to 3/27/09
years E-lrng Name Teacher or coordinator
4° Information Theory Vincenzo Manca
 
4° 5° Algoritmi avanzati Roberto Posenato
4° 5° Automatic System Analysis and Verification Roberto Giacobazzi
4° 5° Automated Deduction Maria Paola Bonacina
4° 5° Sistemi distribuiti dedicati Andrea Acquaviva (Coordinator)
4° 5° Information Systems Carlo Combi
4° 5° Advanced Operating Systems Graziano Pravadelli (Coordinator)
4° 5° Electronic Design Automation Tiziano Villa (Coordinator)

3° Quadrimestre from 4/20/09 to 6/19/09
years E-lrng Name Teacher or coordinator
4° Computational Complexity Isabella Mastroeni
 
4° 5° Quantum computing Alessandra Di Pierro
4° 5° Concurrent and Mobile Languages Massimo Merro
4° 5° Non-conventional Calculation Methods Vincenzo Manca
4° 5° Semantics Andrea Masini
4° 5° Network and systems security Luca Vigano'
Top
strada le Grazie 15 I-37134 Verona Italy   Copyright © 2002-2004 University of Verona.  Site information