| years | TTA | E-lrng | Name | Teacher or coordinator |
|---|---|---|---|---|
| 4° | A | Sytems of Information Elaboration |
Franco Fummi
(Coordinator)
|
|
| 4° 5° | S |
|
Mathematical analysis 2 |
Marco Squassina
|
| 4° 5° | S | The Physics of Integrated Devices |
Francesca Monti
|
|
| 4° 5° | B |
|
Functional Languages |
Ugo Solitro
(Coordinator)
|
| 4° 5° | S | computational logic |
Gianluigi Bellin
|
|
| 4° 5° | S | Probability and Statistics Methods |
Laura Maria Morato
|
|
| 4° 5° | B |
|
Security and Cryptology |
Roberto Segala
|
| 4° 5° | B | Expert Systems |
Matteo Cristani
|
|
| years | TTA | E-lrng | Name | Teacher or coordinator |
|---|---|---|---|---|
| 4° | A | Information Theory |
Vincenzo Manca
|
|
| 4° 5° | B | Advanced algorithms |
Roberto Posenato
|
|
| 4° 5° | B | Automatic System Analysis and Verification |
Roberto Giacobazzi
|
|
| 4° 5° | B | Automated Deduction |
Maria Paola Bonacina
|
|
| 4° 5° | B |
|
Sistemi distribuiti dedicati |
Andrea Acquaviva
(Coordinator)
|
| 4° 5° | B | Information Systems |
Carlo Combi
|
|
| 4° 5° | B | Advanced Operating Systems |
Graziano Pravadelli
(Coordinator)
|
|
| 4° 5° | B |
|
Electronic Design Automation |
Tiziano Villa
(Coordinator)
|
| years | TTA | E-lrng | Name | Teacher or coordinator |
|---|---|---|---|---|
| 4° | A | Computational Complexity |
Isabella Mastroeni
|
|
| 4° 5° | B | Quantum computing |
Alessandra Di Pierro
|
|
| 4° 5° | B | Concurrent and Mobile Languages |
Massimo Merro
|
|
| 4° 5° | B | Non-conventional Calculation Methods |
Vincenzo Manca
|
|
| 4° 5° | B | Semantics |
Andrea Masini
|
|
| 4° 5° | B | Network and systems security |
Luca Vigano'
|
|
© 2024 | Verona University
******** CSS e script comuni siti DOL - frase 9957 ********p>
