Luca Geretti

Foto,  4 febbraio 2016
Qualifica
Ricercatore a tempo determinato
Settore disciplinare
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
E-mail
luca|geretti*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.

Orario di ricevimento

Il ricevimento studenti si svolge su appuntamento da concordare tramite e-mail.

Curriculum

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

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 0.
Clicca sull'insegnamento per vedere orari e dettagli del corso.


 

Gruppi di ricerca

Progettazione di sistemi elettronici (ESD - Electronic Systems Design)
Tecniche per la progettazione automatica di sistemi elettronici, basate su linguaggi formali e metodologie corrette per costruzioni o formalmente verificate
Competenze
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
Hardware - 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 - Hardware validation
Progetti
Titolo Data inizio
C4C - Control for Coordination of Distributed Systems 01/05/08
COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems 01/01/08





Organizzazione

Strutture del dipartimento