geretti
univrit
Il ricevimento studenti si svolge su appuntamento da concordare tramite e-mail.
Curriculum [Eng]
(pdf, en, 549 KB, 16/10/17)
Curriculum [Ita]
(pdf, it, 567 KB, 16/10/17)
Insegnamenti attivi nel periodo selezionato: 8.
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) |
| 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) | |
| PhD Course on “Numerical verification of nonlinear hybrid automata” (33° 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 |
