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:
Modules running in the period selected: 17.
Click on the module to see the timetable and course details.
There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and also via the Univr app.
MyUnivrDi seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:
Office | Collegial Body |
---|---|
Computer Science Teaching Committee - Department Computer Science | |
member | Computer Science Department Council - Department Computer Science |
******** CSS e script comuni siti DOL - frase 9957 ********p>