Home News ERC premia il progetto DIAPASoN, per rifondare la semantica della programmazione

ERC premia il progetto DIAPASoN, per rifondare la semantica della programmazione

-

Tempo di lettura: 2 minuti

Ugo Dal Lago, professore associato al Dipartimento di Informatica – Scienza e Ingegneria dell’Università di Bologna, ha ottenuto un Consolidator Grant dallo European Research Council (ERC), organismo dell’Unione Europea che premia studiosi di talento impegnati in attività di ricerca di frontiera. Il finanziamento è di circa un milione di euro e sarà utilizzato per la realizzazione di DIAPASoN – Differential Program Semantics, ambizioso progetto di ricerca che si propone di rifondare la semantica dei linguaggi di programmazione. I Consolidator Grant sono finanziamenti che lo European Research Council assegna a ricercatori con un curriculum scientifico molto promettente e un’esperienza di ricerca compresa tra sette e dodici anni dal conseguimento del dottorato.

Alla base del progetto DIAPASoN c’è l’idea di rifondare la semantica dei linguaggi di programmazione per computer, una branca dell’informatica teorica che cerca di analizzare come il calcolatore interpreta i programmi e quale debba quindi essere il loro significato. Storicamente il concetto centrale in questo senso è sempre stato l’equivalenza: solo programmi che si comportino precisamente nello stesso modo possono essere sostituiti tra loro. Nell’informatica contemporanea – dove strumenti come la crittografia e intelligenza artificiale sono sempre più pervasivi – l’equivalenza è diventato però un modo inadeguato per confrontare i programmi. Per risolvere questo problema, il progetto DIAPASoN punta allora a rivoluzionare l’approccio applicato finora, mettendo al centro della scena non più le equivalenze ma le differenze tra programmi.

“Già oggi, quando ad esempio utilizziamo un programma per il riconoscimento vocale – spiega Ugo Dal Lagosappiamo che non sempre il risultato sarà perfettamente corretto, ma probabilmente sarà sufficientemente accurato per le nostre esigenze. Con il progetto DIAPASoN vogliamo arrivare a capire in che senso e soprattutto in che misura, programmi di questo tipo possano comunque essere considerati affidabili, pur non producendo risultati accurati in tutti i casi. Con l’avanzare delle applicazioni di intelligenza artificiale, progettate per apprendere in modo continuo, questo tema sarà sempre più centrale.”

Ugo Dal Lago è professore associato di Informatica al Dipartimento di Informatica – Scienza e Ingegneria dell’Università di Bologna. Dopo il dottorato, conseguito all’Alma Mater, è stato post-doc a Verona e Parigi-Nord, quindi Marie Curie Fellow all’Università “Denis-Diderot” di Parigi. È vincitore del premio per la migliore tesi di dottorato italiana in informatica teorica (2006), del premio Kleene (2006) e del premio per il miglior giovane ricercatore italiano in informatica teorica (2015). Ha partecipato e diretto progetti di ricerca nazionali in Francia e Italia; è autore di più di 80 pubblicazioni, con numerose collaborazioni internazionali.

Ugo Dal Lago è professore associato di Informatica al Dipartimento di Informatica – Scienza e Ingegneria dell’Università di Bologna. Dopo il dottorato, conseguito all’Alma Mater, è stato post-doc a Verona e Parigi-Nord, quindi Marie Curie Fellow all’Università “Denis-Diderot” di Parigi. È vincitore del premio per la migliore tesi di dottorato italiana in informatica teorica (2006), del premio Kleene (2006) e del premio per il miglior giovane ricercatore italiano in informatica teorica (2015). Ha partecipato e diretto progetti di ricerca nazionali in Francia e Italia; è autore di più di 80 pubblicazioni, con numerose collaborazioni internazionali.

Redazione BitMAThttps://www.bitmat.it/
BitMAT Edizioni è una casa editrice che ha sede a Milano con una copertura a 360° per quanto riguarda la comunicazione rivolta agli specialisti dell'lnformation & Communication Technology.
  • Newsletter

    Iscriviti alla Newsletter per ricevere gli aggiornamenti dai portali di BitMAT Edizioni.

  • I più letti

    Completata chiamata dati 5G a lungo raggio su rete commerciale USA con mmWave

    Completata chiamata dati 5G a lungo raggio su rete commerciale USA con mmWave

    U.S. Cellular, Qualcomm ed Ericsson hanno raggiunto la distanza di oltre 5 km e la velocità di oltre 100 Mbps
    Attacchi informatici, il 90% parte da una email

    Attacchi informatici, il 90% parte da una email

    Le criticità dei livelli di protezione nelle banche nell'era post-covid
    Gruppo IMQ

    Il Gruppo IMQ acquisisce Intuity e Minded Security

    Prosegue la crescita del Gruppo IMQ, che si rafforza divenendo uno tra i riferimenti del settore
    Settore bancario britannico: agile anche sotto pressione

    Settore bancario britannico: agile anche sotto pressione

    Il 78% degli intervistati si è detto sorpreso di quanto bene la propria istituzione abbia saputo rispondere alla crisi
    Accelera l'adozione dell'AI per il monitoraggio infrastrutturale

    Covid: accelera l’adozione dell’AI per il monitoraggio infrastrutturale

    Nel 2020 il mercato vale 240 milioni di euro, il 20% in più rispetto al 2019