Dettaglio incarico o sussidio
Estremi atto conferimento: AR 2/2020
Nominativo: ZHU SHUFANG
Tipologia rapporto: Assegni di ricerca
Periodo rapporto: dal 01-12-2020 a 30-11-2022
Oggetto dell'incarico:
Studio e sviluppo di risolutori per per reactive synthesis di specifiche in Linear Time Temporal Logic su tracce finite basati su tecniche automata theoretic e game theoretic.
Curriculum vitae: 
Zhu - cv.pdf
Zhu - cv.pdfinsussistenza conflitto di interessi: ZHU - Insussistenza.pdf
ZHU - Insussistenza.pdfCompenso: €80 000,00
L'assegnatario dichiara di non svolgere incarichi, di non rivestire cariche presso enti di diritto privato regolati o finanziati dalla pubblica amministrazione nè di svolgere attività professionali.
Bando, provvedimento o avviso interno relativo alla procedura di conferimento:
Centro di spesa: DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
In fondo alla pagina del risultato della ricerca effettuata è possibile scaricare i risultati in formato
o 
. Si ricorda che i dati pubblicati sono riutilizzabili solo alle condizioni previste dalla normativa vigente sul riuso dei dati pubblici, in modalità e nei termini compatibili con gli scopi per i quali sono stati raccolti e registrati, e nel rispetto della normativa in materia di protezione dei dati personali.
Ai sensi dell’art. 15, comma 4 del d.lgs. n. 33/2013, i dati rimangono pubblicati per i tre anni successivi alla cessazione dell’incarico.