Home / Università (pagina 4)

Università

Tutto sul mondo dell’università, notizie e approfondimenti da non perdere

DIAPASoN, il progetto ERC per rifondare la semantica dei linguaggi di programmazione

DIAPASoN, il progetto ERC per rifondare la semantica dei linguaggi di programmazione

Il progetto DIAPASoN finanziato con un Consolidator Grant assegnato ad Ugo Dal Lago, professore associato al Dipartimento di Informatica – Scienza e Ingegneria dell’Università di Bologna, punta a ripensare i criteri con cui i programmi per computer sono considerati corretti, rispondendo così alla sfida lanciata da strumenti come crittografia e intelligenza …

Leggi di più »