Luca Geretti

Foto,  April 12, 2020
E-mail
luca|geretti*univr|it <== Replace | with . and * with @ to have the right email address.
Not present since
March 1, 2024
Position
Research Scholarship Holders
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: 13.
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 Computer Architecture [Matricole dispari] (2021/2022)   12  eLearning (Teoria avanzata)
Bachelor's degree in Computer Science Computer Architecture [Matricole pari] (2021/2022)   12    (Teoria avanzata)
Master's degree in Computer Engineering for Robotics and Smart Industry Laboratorio per la progettazione dei sistemi (2021/2022)   6  eLearning
Bachelor's degree in Computer Science Computer Architecture [Matricole dispari] (2020/2021)   12  eLearning (Teoria)
Bachelor's degree in Computer Science Computer Architecture [Matricole pari] (2020/2021)   12  eLearning (Teoria)
PhD in Computer Science Numerical verification of nonlinear hybrid automata (2020/2021)   3   
Bachelor's degree in Computer Science Computer Architecture [Matricole dispari] (2019/2020)   12  eLearning (Teoria)
Bachelor's degree in Computer Science Computer Architecture [Matricole pari] (2019/2020)   12  eLearning (Teoria)
PhD in Computer Science Lezioni Dottorandi (2019/2020)   50  eLearning
Bachelor's degree in Computer Science Computer Architecture [Matricole dispari] (2018/2019)   12  eLearning (Teoria)
Bachelor's degree in Computer Science Computer Architecture [Matricole pari] (2018/2019)   12  eLearning (Teoria)
Bachelor's degree in Computer Science Computer Architecture [Cognomi A-L] (2017/2018)   12  eLearning (Teoria)
Bachelor's degree in Computer Science Computer Architecture [Cognomi M-Z] (2017/2018)   12  eLearning (Teoria)

News for students

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 soon also via the Univr app.

MyUnivr
 

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
Basic CAD algorithms Definition of basic algorithms for the design of electronic systems, with particular emphasis on: - Synthesis of sequential and combinational systems - Discrete event systems - Physical design Cyber-physical systems
Electronic design automation
Embedded system verification Verification techniques for embedded systems at different abstraction levels, with particular emphasis on: - Static verification - Dynamic verification - Semi-formal verification - Hybrid and real-time systems Cyber-physical systems
Hardware validation
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