Dettaglio incarico o sussidio
Estremi atto conferimento: Contratto per rinnovo assegno di ricerca rep. 1/2025 Prot. 1/2025 del 02/01/2025 - Bando 32/2022
Nominativo: AMINOF BENJAMIN
Tipologia rapporto: Assegni di ricerca
Periodo rapporto: dal 01-01-2025 a 30-06-2025
Oggetto dell'incarico:
Studio e sviluppo di tecniche e strumenti per definire e risolvere la sintesi automatica di programmi Best Effort a partire da specifiche dell'Environment e del Task in logica temporale, utilizzando automi su oggetti finiti/infiniti, per generare comportamenti resilienti in agenti intelligenti.
Curriculum vitae: 
Curriculum Benjamin Aminof
Curriculum Benjamin Aminofinsussistenza conflitto di interessi: dich_insussistenza-Aminof.pdf
dich_insussistenza-Aminof.pdfCompenso: €20 000,00
L'assegnatario dichiara di svolgere gli incarichi o di rivestire le cariche presso enti di diritto privato regolati o finanziati dalla pubblica amministrazione ovvero di svolgere le attività professionali riportate nel seguente documento: Modello A
(documento completo depositato agli atti in Segreteria)
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.