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)
Il campo principale di ricerca è quello della verifica formale, con particolare riferimento ai sistemi ibridi non-lineari. Dal punto di vista teorico, è interessato all'analisi numerica per la risoluzione di sistemi dinamici regolati da equazioni differenziali ordinarie. Dal punto di vista applicativo, si concentra sulla verifica di sistemi robotici di chirurgia assistita, mediante una collaborazione con il gruppo dipartimentale di robotica. E' responsabile del pacchetto software Ariadne (http://www.ariadne-cps.org) per l'analisi di raggiungibilità di sistemi ibridi.
Le sue competenze addizionali coprono le seguenti tematiche:
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) |
Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA.
| 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 |
