Il ricevimento studenti si svolge su appuntamento da concordare tramite e-mail.
Insegnamenti attivi nel periodo selezionato: 13.
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) |
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 |