Il ricevimento studenti si svolge su appuntamento da concordare tramite e-mail.
Insegnamenti attivi nel periodo selezionato: 9.
Clicca sull'insegnamento per vedere orari e dettagli del corso.
Corso | Nome | Crediti totali | Online | Crediti del docente | Moduli svolti da questo docente |
---|---|---|---|---|---|
Laurea in Informatica | Architettura degli elaboratori [Matricole dispari] (2020/2021) | 12 |
![]() |
3 | (Teoria) |
Laurea in Informatica | Architettura degli elaboratori [Matricole pari] (2020/2021) | 12 |
![]() |
3 | (Teoria) |
Laurea in Informatica | Architettura degli elaboratori [Matricole dispari] (2019/2020) | 12 |
![]() |
3 | (Teoria) |
Laurea in Informatica | Architettura degli elaboratori [Matricole pari] (2019/2020) | 12 |
![]() |
4 | (Teoria) |
Dottorato in Informatica | Attività didattica dottorato (2019/2020) | 50 |
![]() |
1 | |
Laurea in Informatica | Architettura degli elaboratori [Matricole dispari] (2018/2019) | 12 |
![]() |
3 | (Teoria) |
Laurea in Informatica | Architettura degli elaboratori [Matricole pari] (2018/2019) | 12 |
![]() |
4 | (Teoria) |
Laurea in Informatica | Architettura degli elaboratori [Cognomi A-L] (2017/2018) | 12 |
![]() |
4 | (Teoria) |
Laurea in Informatica | Architettura degli elaboratori [Cognomi M-Z] (2017/2018) | 12 |
![]() |
3 | (Teoria) |
Nome | Online |
---|---|
PhD Course on “Numerical verification of nonlinear hybrid automata” (35° ciclo - Dottorato in Informatica) | |
PhD Course on “Numerical verification of nonlinear hybrid automata” (34° ciclo - Dottorato in Informatica) |
Argomento | Descrizione | Area di ricerca |
---|---|---|
Algoritmi CAD di base | Realizzazione di algoritmi di base per la progettazione di sistemi elettronici, con particolare attenzione a: - sintesi di sistemi combinatori e sequenziali - sistemi a eventi discreti - progettazione fisica |
Sistemi ciberfisici
Electronic design automation |
Verifica di sistemi embedded | Tecniche per la verifica di sistemi embedded a diversi livelli di astrazione, con particolare attenzione a: - tecniche di verifica statica - tecniche di verifica dinamica - tecniche di verifica semi formale - verifica di sistemi ibridi e real-time |
Sistemi ciberfisici
Hardware validation |
Carica | Organo collegiale |
---|---|
componente | Collegio Didattico di Informatica - Dipartimento Informatica |
componente | Consiglio del Dipartimento di Informatica - Dipartimento Informatica |