Luca Geretti

  1. Home
  2. Department
  3. People
  4. Luca Geretti
Foto, October 2, 2024
Position
Temporary Assistant Professor
Academic sector
INFO-01/A - Informatics
Research sector (ERC-2024)
PE6_10 - Web and information systems, data management systems, information retrieval and digital libraries, data fusion

Research sector (ERC)
PE6_10 - Web and information systems, database systems, information retrieval and digital libraries, data fusion

Office
Ca' Vignal 2,  Floor 1,  Room 61
Telephone
+39 045 802 7850
E-mail
luca|geretti*univr|it <== Replace | with . and * with @ to have the right email address.

Office Hours

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

Modules

Modules running in the period selected: 26.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
Bachelor's degree in Computer Science Operating Systems and Computer Networks (2025/2026)   12  eLearning 2  SISTEMI OPERATIVI II (Laboratorio)
4  SISTEMI OPERATIVI II (Teoria ed esercitazioni)
Bachelor's degree in Computer Science Topics on computer architecture and operating systems (2025/2026)   12  eLearning 1  ELEMENTI DI ARCHITETTURA [Matricole dispari] (Esercitazioni)
1.5  ELEMENTI DI ARCHITETTURA [Matricole dispari] (Teoria)
0.5  ELEMENTI DI ARCHITETTURA [Matricole pari] (Laboratorio)
1  ELEMENTI DI ARCHITETTURA [Matricole pari] (Esercitazioni)
2  SISTEMI OPERATIVI I [Matricole dispari] (Laboratorio)
1.5  ELEMENTI DI ARCHITETTURA [Matricole pari] (Teoria)
0.5  ELEMENTI DI ARCHITETTURA [Matricole dispari] (Laboratorio)
Bachelor's degree in Computer Science Operating Systems (2024/2025)   12  eLearning 1  (Laboratorio 2)
3  (Teoria 2)
2  (Esercitazioni 2)
Bachelor's degree in Computer Science Topics on computer architecture and operating systems (2024/2025)   12  eLearning 3  ELEMENTI DI ARCHITETTURA [Matricole pari] (Teoria)
2  ELEMENTI DI ARCHITETTURA [Matricole pari] (Esercitazioni)
1  ELEMENTI DI ARCHITETTURA [Matricole pari] (Laboratorio)
Bachelor's degree in Computer Science Computer Architecture [Matricole dispari] (2021/2022)   12  eLearning 3  (Teoria avanzata)
Bachelor's degree in Computer Science Computer Architecture [Matricole pari] (2021/2022)   12    3  (Teoria avanzata)
Master's degree in Computer Engineering for Robotics and Smart Industry Laboratorio per la progettazione dei sistemi (2021/2022)   6  eLearning 2 
Bachelor's degree in Computer Science Computer Architecture [Matricole dispari] (2020/2021)   12  eLearning 3  (Teoria)
Bachelor's degree in Computer Science Computer Architecture [Matricole pari] (2020/2021)   12  eLearning 3  (Teoria)
Bachelor's degree in Computer Science Computer Architecture [Matricole dispari] (2019/2020)   12  eLearning 3  (Teoria)
Bachelor's degree in Computer Science Computer Architecture [Matricole pari] (2019/2020)   12  eLearning 4  (Teoria)
Bachelor's degree in Computer Science Computer Architecture [Matricole dispari] (2018/2019)   12  eLearning 3  (Teoria)
Bachelor's degree in Computer Science Computer Architecture [Matricole pari] (2018/2019)   12  eLearning 4  (Teoria)
Bachelor's degree in Computer Science Computer Architecture [Cognomi A-L] (2017/2018)   12  eLearning 4  (Teoria)
Bachelor's degree in Computer Science Computer Architecture [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.

Research groups

ForMe - Formal Methods for the Design of Engineering Systems
The aim of the research group is to apply formal methods to modelling, verification and synthesis of engineering systems. The domains range from timed systems to nonlinear cyberphysical systems.
Research interests
Topic Description Research area
Neurosymbolic systems Study of techniques related to the verification, synthesis and planning for continuous and hybrid dynamical systems with the presence of neural network components. Focus on concurrent and distributed approaches Artificial Intelligence
Computing methodologies
Neurosymbolic systems Study of techniques related to the verification, synthesis and planning for continuous and hybrid dynamical systems with the presence of neural network components. Focus on concurrent and distributed approaches Software Engineering and Formal Verification
Computing methodologies
Projects
Title Starting date
FA&AF L'Agricoltura del Futuro e gli Alimenti Funzionali: una sfida per la ricerca e il rilancio del territorio veneto 9/10/20
Formal methods for the verification and synthesis of discrete event and hybrid systems 2/5/18
COREWOOD - Riposizionamento competitivo del la filiera del legno 11/7/17
TEMART - Tecnologie e materiali per la manifattura artistica i Beni Culturali l’arredo il decoro architettonico e urbano e il design del futuro 11/7/17
C4C - Control for Coordination of Distributed Systems 5/1/08
COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems 1/1/08



Organization

Department facilities

Share