Il premio biennale per la migliore tesi di dottorato d'Italia su argomenti di Logica Computazionale, assegnato dall'Associazione Italiana per la Programmazione Logica (GULP), è stato conferito a un giovane Dottore di Ricerca in Matematica e Informatica dell'Università della Calabria, Annamaria Bria, per la sua tesi dal titolo "Normal Form Nested Programs", svolta sotto la supervisione dei professori Wolfgang Faber e Nicola Leone del Dipartimento di Matematica e Informatica dell'Unical. Il prestigioso riconoscimento è stato conferito alla dott.ssa Bria nel corso del XXVIII Convegno Italiano di Logica Computazionale, CILC-2013, che si è svolto all'Universita` di Catania nei giorni scorsi. Per l'occasione, Annamaria Bria è stata inoltre invitata a presentare i principali contenuti della propria dissertazione dottorale in una speciale sessione del convegno. La tesi della Bria presenta un nuovo e potente linguaggio, basato sulla logica, per la rappresentazione della conoscenza, e fornisce significativi contributi teorici, con la dimostrazione di numerosi teoremi e, al tempo stesso, importanti contributi applicativi.Infatti, il linguaggio della Bria è stato implementato nel sistema di intelligenza artificiale DLV (www.dlvsystem.com), sviluppato dal gruppo del prof. Leone all'Università della Calabria e utilizzato in centri di ricerca di tutto il mondo.Il premio in Logica Computazionale è, dunque un'ulteriore conferma del valore scientifico di questa tesi di dottorato e, più in generale, della qualità della ricerca del gruppo di Intelligenza Artificiale dell'Unical diretto dal prof. Nicola Leone del Dipartimento di Matematica e Informatica. La dottoressa Annamaria Bria oggi lavora presso l'U.O.C "Organi di Governo e Attività Istituzionali" dell'Università della Calabria.
Caricamento commenti
Commenta la notizia