Luca Geretti

Curriculum

•   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:

• Reti neurali
• Calcolo parallelo e distribuito
• Reti di sensori

Per la comunità studentesca

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: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e anche tramite l'app Univr.

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

• Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
• Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.

• Eventi
• Insegnamenti