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 10212 - INFORMATICA E INGEGNERIA DEI SISTEMI
Ciclo di dottorato XXXI
Tutor(s) Armando Tacchella, Erika Ábrahám
CV PDF Download

Publications

Please visit the following links:

Teaching activity

  • Design and Analysis of Algorithms (UNIGE, fall 2016)
  • Modeling and Verification of Cyber-physical Systems (UNIGE, fall 2016, fall 2018)
  • Topics in Satisfiability Checking (RWTH, spring 2018)
  • Artificial Intelligence (UNIGE, spring 2019)

Sei qui: Home

Questo sito usa i cookie.