Tenuto da : Dr. Loredana Sorrentino

Università di Napoli Federico II

loredana.sorrentino@unina.it

 

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

Attachments:
Download this file (Locandina Sorrentino.pdf)Locandina

Share This

S5 Box

Cini Single Sign ON

This site uses cookies, including from third parties, to improve your experience and offer services in line with your preferences. By closing this banner, you consent to the use of cookies. If you want to know more go to the Cookie Policy section.