Luca Geretti

  1. Home
  2. Department
  3. People
  4. Luca Geretti
Foto, April 12, 2020
Position
Temporary Assistant Professor
Academic sector
ING-INF/05 - INFORMATION PROCESSING SYSTEMS
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
Fax
+39 045 802 7068
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
 

Research groups

Electronic Systems Design (ESD)
Techniques for the automatic design of electronic systems, based on formal languages and correct by construction or formally verified methodologies
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
Formal methods for the verification and synthesis of discrete event and hybrid systems 2/5/18
COREWOOD - Riposizionamento competit ivo 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