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: 10.
Clicca sull'insegnamento per vedere orari e dettagli del corso.
| 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 |
