Luca Geretti

  1. Home
  2. Dipartimento
  3. Persone
  4. Luca Geretti
Foto, 2 ottobre 2024
Qualifica
Ricercatore a tempo determinato
Settore disciplinare
INFO-01/A - Informatica
Settore di Ricerca (ERC-2024)
PE6_10 - Web and information systems, data management systems, information retrieval and digital libraries, data fusion

Settore di Ricerca (ERC)
PE6_10 - Web and information systems, database systems, information retrieval and digital libraries, data fusion

Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 61
Telefono
+39 045 802 7850
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: 26.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea in Informatica Elementi di architettura e sistemi operativi (2025/2026)   12    1  ELEMENTI DI ARCHITETTURE [Matricole pari] (Esercitazioni)
2  SISTEMI OPERATIVI I [Matricole dispari] (Laboratorio)
1,5  ELEMENTI DI ARCHITETTURE [Matricole pari] (Teoria)
0,5  ELEMENTI DI ARCHITETTURE [Matricole dispari] (Laboratorio)
1  ELEMENTI DI ARCHITETTURE [Matricole dispari] (Esercitazioni)
1,5  ELEMENTI DI ARCHITETTURE [Matricole dispari] (Teoria)
0,5  ELEMENTI DI ARCHITETTURE [Matricole pari] (Laboratorio)
Laurea in Informatica [L-31] Sistemi operativi e reti (2025/2026)   12    2  SISTEMI OPERATIVI II (Laboratorio)
4  SISTEMI OPERATIVI II (Teoria ed esercitazioni)
Laurea in Informatica [L-31] Elementi di architettura e sistemi operativi (2024/2025)   12  eLearning 2  ELEMENTI DI ARCHITETTURE [Matricole pari] (Esercitazioni)
1  ELEMENTI DI ARCHITETTURE [Matricole pari] (Laboratorio)
3  ELEMENTI DI ARCHITETTURE [Matricole pari] (Teoria)
Laurea in Informatica [L-31] Sistemi operativi (2024/2025)   12  eLearning 1  (Laboratorio 2)
3  (Teoria 2)
2  (Esercitazioni 2)
Laurea in Informatica [L-31] Architettura degli elaboratori [Matricole dispari] (2021/2022)   12  eLearning 3  (Teoria avanzata)
Laurea in Informatica [L-31] Architettura degli elaboratori [Matricole pari] (2021/2022)   12    3  (Teoria avanzata)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Systems design laboratory (2021/2022)   6  eLearning 2 
Laurea in Informatica [L-31] Architettura degli elaboratori [Matricole dispari] (2020/2021)   12  eLearning 3  (Teoria)
Laurea in Informatica [L-31] Architettura degli elaboratori [Matricole pari] (2020/2021)   12  eLearning 3  (Teoria)
Laurea in Informatica [L-31] Architettura degli elaboratori [Matricole dispari] (2019/2020)   12  eLearning 3  (Teoria)
Laurea in Informatica [L-31] Architettura degli elaboratori [Matricole pari] (2019/2020)   12  eLearning 4  (Teoria)
Laurea in Informatica [L-31] Architettura degli elaboratori [Matricole dispari] (2018/2019)   12  eLearning 3  (Teoria)
Laurea in Informatica [L-31] Architettura degli elaboratori [Matricole pari] (2018/2019)   12  eLearning 4  (Teoria)
Laurea in Informatica [L-31] Architettura degli elaboratori [Cognomi A-L] (2017/2018)   12  eLearning 4  (Teoria)
Laurea in Informatica [L-31] Architettura degli elaboratori [Cognomi M-Z] (2017/2018)   12  eLearning 3  (Teoria)

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.


Organizzazione

Strutture del dipartimento

Condividi