Tenuto da : Dr. Loredana Sorrentino
Università di Napoli Federico II
CV: Loredana Sorrentino ha ottenuto il suo dottorato in Scienze Computazionali ed Informatiche nel 2015, presso l'università di Napoli Federico II.
I suoi correnti interessi di ricerca riguardano la specifica e la verifica formale dei sistemi. Da Aprile 2015 a Novembre 2016 è stata postdoctoral researcher all'Università di Napoli Federico II, lavorando su metodologie per il ragionamento strategico con particolare attenzione alla loro applicazione nell’ambito della specifica, verifica, pianificazione e sintesi di sistemi reattivi safety-critical nell’intelligenza artificiale.
Date e Luogo (Ed. 1, via Claudio 21, Napoli)
|
Date |
Hours |
Room |
|
27 Aprile 2017 |
14:00-16.00 |
DIETI - Aula c5c Trasporti |
|
27 Aprile 2017 |
16.30-18.30 |
DIETI - Aula c5c Trasporti |
|
28 Aprile 2017 |
14:00-16.00 |
DIETI - Aula c5c Trasporti |
|
28 Aprile 2017 |
16.30-18.30 |
DIETI - Aula c5c Trasporti |
 Locandina |