Francesco Leofante

Dottorando

Indirizzo Viale Causa, 13 - 16145 Genova
E-mail
Telefono ufficio
Telefono laboratorio (+39) 010353 - 2150
Laboratorio https://ths.rwth-aachen.de
Pagina personale https://ths.rwth-aachen.de/people/francesco-leofante/
Corso di dottorato DOTTORATO DI RICERCA INFORMATICA E INGEGNERIA DEI SISTEMI/ COMPUTER SCIENCE AND SYSTEMS ENGINEERING
Ciclo di dottorato XXXI
Tutor(s) Armando Tacchella, Erika Ábrahám
CV PDF Download

Publications

Please visit the following links:

Research activity

I am currently working towards my Ph.D. in Computer Science under the supervision of Prof. Erika Ábrahám and Prof. Armando Tacchella.

My research, carried out within a joint program between RWTH Aachen University and the University of Genoa, deals with formal modeling and verification of robotic systems.

My research interests include:

  • Formal modeling and verification of robotic systems
  • Synthesis of safe controllers (via, e.g., SMT solving)
  • Repair of faulty models
  • Online monitoring of CPS

I am currently involved in the following projects:

Teaching activity

  • Design and Analysis of Algorithms (winter term 2016)
  • Modeling and Verification of Cyber-physical Systems (winter term 2016)

Sei qui: Home

Questo sito usa i cookie.