A Michel Gras e Vincenzo Balzani il Premio Galilei dei Rotary Club Italiani
Si è svolta a nel Palazzo della Sapienza di Pisa la cerimonia del Premio internazionale Galileo Galilei dei Rotary Club italiani, giunto quest'anno alla sua 50ª edizione. Il riconoscimento è stato assegnato all'archeologo Michel Gras, studioso che si è distinto nella sezione archeologia ed etruscologia, mentre a Vincenzo Balzani, chimico di fama internazionale, è andato invece il Premio internazionale Galileo Galilei per la Scienza, giunto alla sua VI edizione. L'incontro è stato introdotto dai saluti di Massimo Augello, rettore dell'Università di Pisa, e da una commemorazione di Tristano Bolelli, fondatore del Premio Galilei, tenuta dai professori Umberto Laffi e Romano Lazzeroni. Sono seguiti i saluti di Marco Filippeschi, sindaco di Pisa, di Antonio Pieretti, presidente della Fondazione Premio Galilei, e di Concetto Lombardo, Governatore del Distretto 2110 e la lettura della relazione della giuria da parte di Saverio Sani, segretario del Premio.
Come è noto il meccanismo per l'assegnazione dei due premi è congegnato in modo speculare. Il premio umanistico è assegnato da una giuria italiana a uno straniero che si sia occupato in modo eminente di argomenti riguardanti la civiltà italiana, il premio scientifico da una giuria straniera a uno studioso italiano che si sia distinto nel campo delle scienze della natura. Il premio consiste in una scultura in argento di Giovanni Ferri, raffigurante Galileo Galilei, e in una targa d'oro commemorativa.
Michel Gras è direttore dell'École Française de Rome e rappresenta un profilo scientifico e istituzionale di primissimo piano. Formatosi in Francia alla scuola di J. Heurgon e di G. Vallet, ha ricoperto importanti ruoli scientifici e istituzionali nell'ambito della ricerca archeologica tra i quali quello di Attachè e poi di Directeur de Recherche al CNRS. La sua attività di ricerca è stata orientata prevalentemente verso problemi del Mediterraneo antico e dell'Italia preromana con particolare riguardo all'Etruria e alla Magna Grecia.
Vincenzo Balzani è uno dei massimi studiosi nel campo della fotochimica mondiale e ha svolto gran parte del suo lavoro di ricerca presso l'Università di Bologna, contribuendo a farne uno dei centri leader in questo ambito di studi. Egli può essere definito senza dubbio uno dei "ri-scopritori" della fotochimica organica ed è uno fra gli scienziati che primeggiano in Italia con una visibilità e una reputazione internazionale estremamente alta.
La giuria che ha designato Michel Gras era composta dai professori Antonio Pieretti, Gilda Bartoloni, Giovanna Greco, Giuseppe Sassatelli, Mario Torelli e Saverio Sani. La giuria che ha invece designato lo scienziato italiano era composta dai professori Antonio Pieretti, José Barluenga, Henning Hopf, Gérard Jaouen, Hans-Peter Lüthi e Saverio Sani.
Ne hanno parlato:
Nazione Pisa (02/10)
Giornale Toscana
Nazione Pisa (30/09)
Tirreno Pisa
PisaInformaFlash.it
Risolvere i “conflitti” in modo creativo
Non sarà la semplice presentazione di un libro, ma un momento per riflettere, in modo creativo, sull'università: lunedì 3 ottobre alle ore 15.00, nell'aula Magna Nuova del Palazzo La Sapienza, appuntamento con "Dal diritto di parola al diritto di essere ascoltati", un incontro promosso dal corso di laurea in Comunicazione pubblica, sociale e d'impresa e dal dipartimento di Anglistica, che prenderà spunto dal volume "Confronto Creativo" di Marianella Sclavi e Lawrence E. Susskind (et al./edizioni, 2011).
Si tratta di un appuntamento da non perdere per conoscere il metodo della gestione creativa del conflitto in contesti urbani e istituzionali direttamente da Susskind, il fondatore del Consensus Building Institute del Massachusetts Institute of Technology, che affronterà il tema "How can the university change when a creative confrontation approach is used?". Verrà fornito un riassunto in italiano da Marianella Sclavi che poi terrà un intervento su "Come cambia l'esperienza della cittadinanza".
"Confronto Creativo" è un manuale scritto pensando prima di tutto ai giovani che vogliono occuparsi di politica e di imprenditorialità in campo economico e culturale e che desiderano acquisire ed esercitare la capacità di risolvere problemi complessi secondo modalità inclusive e collaborative. Più precisamente presenta ai lettori i motivi per lasciar perdere i comportamenti usuali nell'affrontare le divergenze e illustra come intraprendere un cammino che dia spazio alla co-progettualità creativa e consente di elaborare soluzioni più eque, efficaci, stabili e sagge.
Lawrence E. Susskind ha ricevuto il "Global Environmental Award" della International Association for Impact Assessment per il suo contributo nel campo dei conflitti ambientali. Due sue opere hanno ricevuto il premio "Best book in dispute resolution field" del Center for Public Research.
Marianella Sclavi è autrice di numerose pubblicazioni sull'ascolto attivo tra cui "Arte di ascoltare e mondi possibili" e ha curato diversi progetti di democrazia partecipata tra cui anche "Cisternino2020" del Comune di Livorno, in collaborazione con il corso di laurea in Comunicazione pubblica, sociale e d'impresa dell'Università di Pisa.
A Michel Gras e Vincenzo Balzani i due premi internazionali “Galileo Galilei” dei Rotary Club Italiani
Si è svolta a nel Palazzo della Sapienza di Pisa la cerimonia del Premio internazionale Galileo Galilei dei Rotary Club italiani, giunto quest'anno alla sua 50ª edizione. Il riconoscimento è stato assegnato all'archeologo Michel Gras, studioso che si è distinto nella sezione archeologia ed etruscologia, mentre a Vincenzo Balzani, chimico di fama internazionale, è andato invece il Premio internazionale Galileo Galilei per la Scienza, giunto alla sua VI edizione. L'incontro è stato introdotto dai saluti di Massimo Augello, rettore dell'Università di Pisa, e da una commemorazione di Tristano Bolelli, fondatore del Premio Galilei, tenuta dai professori Umberto Laffi e Romano Lazzeroni. Sono seguiti i saluti di Marco Filippeschi, sindaco di Pisa, di Antonio Pieretti, presidente della Fondazione Premio Galilei, e di Concetto Lombardo, Governatore del Distretto 2110 e la lettura della relazione della giuria da parte di Saverio Sani, segretario del Premio.
Come è noto il meccanismo per l'assegnazione dei due premi è congegnato in modo speculare. Il premio umanistico è assegnato da una giuria italiana a uno straniero che si sia occupato in modo eminente di argomenti riguardanti la civiltà italiana, il premio scientifico da una giuria straniera a uno studioso italiano che si sia distinto nel campo delle scienze della natura. Il premio consiste in una scultura in argento di Giovanni Ferri, raffigurante Galileo Galilei, e in una targa d'oro commemorativa.
Michel Gras è direttore dell'École Française de Rome e rappresenta un profilo scientifico e istituzionale di primissimo piano. Formatosi in Francia alla scuola di J. Heurgon e di G. Vallet, ha ricoperto importanti ruoli scientifici e istituzionali nell'ambito della ricerca archeologica tra i quali quello di Attachè e poi di Directeur de Recherche al CNRS. La sua attività di ricerca è stata orientata prevalentemente verso problemi del Mediterraneo antico e dell'Italia preromana con particolare riguardo all'Etruria e alla Magna Grecia.
Vincenzo Balzani è uno dei massimi studiosi nel campo della fotochimica mondiale e ha svolto gran parte del suo lavoro di ricerca presso l'Università di Bologna, contribuendo a farne uno dei centri leader in questo ambito di studi. Egli può essere definito senza dubbio uno dei "ri-scopritori" della fotochimica organica ed è uno fra gli scienziati che primeggiano in Italia con una visibilità e una reputazione internazionale estremamente alta.
La giuria che ha designato Michel Gras era composta dai professori Antonio Pieretti, Gilda Bartoloni, Giovanna Greco, Giuseppe Sassatelli, Mario Torelli e Saverio Sani. La giuria che ha invece designato lo scienziato italiano era composta dai professori Antonio Pieretti, José Barluenga, Henning Hopf, Gérard Jaouen, Hans-Peter Lüthi e Saverio Sani.
Un master per creare la tua App
Dopo il successo avuto nella scorsa primavera dal corso in sviluppo di applicazioni iOS, per iPhone e iPad, il dipartimento di Informatica dell'Università di Pisa ha organizzato il master universitario di primo livello in Sviluppo di applicazioni mobili.
Il corso degli scorsi mesi, pur non conferendo crediti formativi e non essendo inserito in attività curriculari, ha ricevuto ben 355 richieste di ammissione, provenienti sia da studenti dell'Ateneo, principalmente dai bacini di Scienze Mfn e Ingegneria, che da studenti di altri atenei anche fuori regione. È stato seguito anche da un discreto numero di non studenti, tanto che si è reso necessario respingere quasi 300 richieste per adeguare il numero di partecipanti alle possibilità logistiche. Le lezioni video di Goran Djukic, pubblicate su iTunes U ad aprile, sono diventate subito i contenuti più scaricati in Italia, con oltre 57.000 download nel solo mese di maggio 2011. Numerosi sono stati i contatti da parte di aziende in cerca di persone con competenze specifiche nello sviluppo di applicazioni mobili.
Il settore delle applicazioni mobili, e in particolare di quelle destinate a dispositivi di grande potenza e a costo relativamente basso quali smartphone e tablet, sta registrando una tumultuosa crescita. Le principali aziende del settore hanno visto aumentare quote di mercato e utili in maniera significativa, tanto che Gartner Group prevede che già nel 2012 (anno di termine del master) saranno in circolazione oltre 630 milioni di dispositivi di questo tipo, con una crescita ulteriore a 1.1 miliardi per il 2015.
Il mercato delle applicazioni in mobilità, oltre ad essere in forte crescita, ha anche delle barriere all'ingresso particolarmente basse, spesso nell'ordine di poche centinaia di euro, e costituisce un segmento industriale straordinariamente promettente in cui non sono richiesti grandi capitali, ma grandi competenze e buone idee. Fra le storie di successo più comunemente citate vale la pena di ricordare il caso del popolare gioco "Angry Birds", che ha fruttato agli inventori, tre studenti finlandesi, 42 milioni di dollari. Il territorio pisano ha confermato in questo settore la sua vocazione all'innovazione, testimoniando la nascita di numerose start-up (anche formate da studenti dell'Ateneo) che alimentano una consistente domanda di competenze.
Mentre il settore consumer è in fase di sviluppo, l'uso di strumenti di mobilità nel settore business è ancora embrionale e per questo ancor più promettente. Applicazioni di tipo generalista per la produttività individuale ("Personal Digital Assistant") sono disponibili da tempo, ma si aprirà nei prossimi anni un intero mercato per applicazioni specializzate, e in particolare per applicazioni in mobilità che si integrino con i sistemi informativi aziendali esistenti, fornendo al personale "sul campo" l'accesso diretto ai dati e alle procedure di cui hanno bisogno.
Il master in Sviluppo di applicazioni mobili si propone di intercettare in maniera tempestiva questa richiesta di formazione, ed è orientato a formare competenze specifiche, ma ad ampio spettro, nello sviluppo di applicazioni mobili, sia in ambito enterprise che in ambito consumer. I contenuti del master includono la programmazione di app native per le maggiori piattaforme (iOS, Android, Windows Phone), sviluppo cross-platform, tecnologie legate alla sensoristica, networking, geolocalizzazione, grafica 3D, multimedialità, web mobile, con particolare attenzione al design delle interfacce e alla formazione di una mentalità imprenditoriale.
Le iscrizioni scadranno il 21 ottobre. Il sito del master è visibile all'indirizzo http://masterapp.di.unipi.it/
Ne hanno parlato:
Tirreno Pisa
Nazione Pisa
InToscana.it
Ustation.it
RadioEco
I corsi dell’Università di Pisa si presentano su iTunes U
Orientarsi tra i corsi dell'Università di Pisa è oggi più facile: grazie a un'iniziativa promossa dall'Ufficio orientamento e realizzata dal Cisiau (il Centro interdipartimentale di servizi informatici per l'area umanistica), sono stati pubblicati su iTunes U i video di presentazione di circa ottanta corsi dell'Ateneo pisano, suddivisi per area scientifica, umanistica e veterinaria. Si tratta di brevi filmati in cui gli stessi docenti spiegano agli studenti i corsi da loro tenuti, raccontandone le caratteristiche, i contenuti e le finalità.
"I video sull'orientamento nascono come uno strumento che l'Ateneo ha inaugurato per rafforzare il suo legame vero l'esterno, cementare la comunità e contemporaneamente spingere i suoi membri verso una migliore trasparenza riguardo a ciò che insegnano – specifica la professoressa Enrica Salvatori, responsabile per l'Ateneo del progetto iTunes U - Le videopresentazioni sono una semplice ma efficace maniera per far capire in pochi minuti cosa si va a imparare e con chi".
I video possono essere scaricati o visualizzati collegandosi al canale ufficiale iTunes U dell'Università di Pisa, ai link http://itunes.apple.com/WebObjects/MZStore.woa/wa/viewPodcast?id=465641069 (video area scientifica), http://itunes.apple.com/WebObjects/MZStore.woa/wa/viewPodcast?id=464754572 (video area umanistica), http://itunes.apple.com/WebObjects/MZStore.woa/wa/viewPodcast?id=465645691 (video area veterinaria). I filmati sono stati curati da Claudio Benedetti e Daniele Bologna del Laboratorio di cultura digitale dell'Università di Pisa.
“Il segno inciso” in mostra al Museo della Grafica
Dal 29 settembre al 16 ottobre il Museo della Grafica di Pisa ospiterà la mostra "Il segno inciso", un'iniziativa realizzata grazie alla collaborazione con il Comune di Pisa, il Liceo Artistico "F. Russoli", la Soprintendenza ai Beni Culturali e il dipartimento di Storia delle arti dell'Università di Pisa.
A dieci anni dalla sua nascita, "Il segno inciso" è diventato un momento di riflessione fondamentale sull'insegnamento delle tecniche incisorie e grafiche che coinvolge studenti degli Istituti superiori e dell'Università e che mette a confronto artisti affermati di diverse generazioni con giovani allievi.
Da questo incontro di creatività nasce quest'anno la mostra dedicata agli Ex Libris che si inaugura giovedì 29 settembre alle ore 11 nelle suggestive sale del Museo della Grafica di Palazzo Lanfranchi. L'evento espositivo presenta centotrenta opere su carta realizzate da Furio de Denaro e Valerio Mezzetti, docenti del corso "Il segno inciso 2011", insieme ai lavori dei diciasette allievi e a trenta opere della giovane artista Federica Fiorenzani.
L'orario di visita è dal martedì al venerdì dalle 10.30 alle 12.30 e dalle 16.30 alle 18.30; sabato-domenica dalle 10.30 alle 18.30. Lunedì chiuso. Per informazioni sulle attività del museo, contattare i seguenti recapiti: 050 2216060; 050 2216062; 050 2216063; 050 2216066; 050 2216067; oppure scrivere all'indirizzo di posta elettronica Questo indirizzo email è protetto dagli spambots. È necessario abilitare JavaScript per vederlo.. Accesso diversamente abili.
Navigare più veloci e sicuri nel web
C'è un vigile in internet che si chiama "Macchina Virtuale Java" e quando navighiamo agisce quasi a nostra insaputa. E' una specie di sorvegliante che controlla le pagine web che vogliamo vedere, ne valida il codice e se va tutto bene ecco che ci appare il sito che volevamo. Un vigile che però non è sempre così efficiente e che a volte, per eccesso di prudenza, "boccia" il codice Java "buono" che invece dovrebbe essere eseguito giudicandolo pericoloso. Un inceppo non da poco se si pensa che il linguaggio Java è ormai diventato lo standard di riferimento per lo sviluppo di applicazioni software, con uno spettro di utilizzo che va dai cellulari e dagli smartphone a programmi gestionali su larga scala. Ma ecco che uno studio svolto in collaborazione fra l'Università di Pisa e quella di Camerino ha risolto il problema.
"Il controllo del verificatore – spiega Roberto Barbuti del dipartimento di Informatica dell'Ateneo pisano - garantisce che il codice (che potrebbe essere stato scaricato da fonti non affidabili e quindi potrebbe compiere azioni malevole) sia sicuro dal punto di vista del flusso dei dati". "Ma il problema – continua Barbuti – è che l'analisi eseguita dal verificatore standard risulta in alcuni casi troppo superficiale, cioè alcuni codici assolutamente corretti dal punto di vista del flusso dei dati vengono invece bollati come non sicuri e quindi la macchina virtuale si rifiuta di eseguirli".
Da qui l'idea di migliorare la "Macchina Virtuale Java" per renderla più sensibile e "intelligente". Il risultato è stato un articolo a tre firme (Roberto Barbuti e Nicoletta De Francesco per l'Ateneo pisano e Luca Tesei per quello di Camerino), che ha ricevuto il "Computer Journal Wilkes Award", un premio che il "Computer Journal", un rivista internazionale della Oxford University Press, assegna annualmente al miglior lavoro pubblicato. "Il nostro studio – conclude Barbuti - propone un perfezionamento del verificatore, ottenuto introducendo un dominio dei tipi più ricco di quello che viene usato dal verificatore attuale, un risultato pratico che abbiamo ottenuto basandoci sulla teoria della Interpretazione Astratta, in cui la correttezza dell'approccio viene provata matematicamente".
Leggi la notizia anche su:
Al dipartimento pisano di Informatica parte il primo master in Sviluppo di applicazioni mobili
Dopo il successo avuto nella scorsa primavera dal corso in sviluppo di applicazioni iOS, per iPhone e iPad, il dipartimento di Informatica dell'Università di Pisa ha organizzato il master universitario di primo livello in Sviluppo di applicazioni mobili.
Il corso degli scorsi mesi, pur non conferendo crediti formativi e non essendo inserito in attività curriculari, ha ricevuto ben 355 richieste di ammissione, provenienti sia da studenti dell'Ateneo, principalmente dai bacini di Scienze Mfn e Ingegneria, che da studenti di altri atenei anche fuori regione. È stato seguito anche da un discreto numero di non studenti, tanto che si è reso necessario respingere quasi 300 richieste per adeguare il numero di partecipanti alle possibilità logistiche. Le lezioni video di Goran Djukic, pubblicate su iTunes U ad aprile, sono diventate subito i contenuti più scaricati in Italia, con oltre 57.000 download nel solo mese di maggio 2011. Numerosi sono stati i contatti da parte di aziende in cerca di persone con competenze specifiche nello sviluppo di applicazioni mobili.
Il settore delle applicazioni mobili, e in particolare di quelle destinate a dispositivi di grande potenza e a costo relativamente basso quali smartphone e tablet, sta registrando una tumultuosa crescita. Le principali aziende del settore hanno visto aumentare quote di mercato e utili in maniera significativa, tanto che Gartner Group prevede che già nel 2012 (anno di termine del master) saranno in circolazione oltre 630 milioni di dispositivi di questo tipo, con una crescita ulteriore a 1.1 miliardi per il 2015.
Il mercato delle applicazioni in mobilità, oltre ad essere in forte crescita, ha anche delle barriere all'ingresso particolarmente basse, spesso nell'ordine di poche centinaia di euro, e costituisce un segmento industriale straordinariamente promettente in cui non sono richiesti grandi capitali, ma grandi competenze e buone idee. Fra le storie di successo più comunemente citate vale la pena di ricordare il caso del popolare gioco "Angry Birds", che ha fruttato agli inventori, tre studenti finlandesi, 42 milioni di dollari. Il territorio pisano ha confermato in questo settore la sua vocazione all'innovazione, testimoniando la nascita di numerose start-up (anche formate da studenti dell'Ateneo) che alimentano una consistente domanda di competenze.
Mentre il settore consumer è in fase di sviluppo, l'uso di strumenti di mobilità nel settore business è ancora embrionale e per questo ancor più promettente. Applicazioni di tipo generalista per la produttività individuale ("Personal Digital Assistant") sono disponibili da tempo, ma si aprirà nei prossimi anni un intero mercato per applicazioni specializzate, e in particolare per applicazioni in mobilità che si integrino con i sistemi informativi aziendali esistenti, fornendo al personale "sul campo" l'accesso diretto ai dati e alle procedure di cui hanno bisogno.
Il master in Sviluppo di applicazioni mobili si propone di intercettare in maniera tempestiva questa richiesta di formazione, ed è orientato a formare competenze specifiche, ma ad ampio spettro, nello sviluppo di applicazioni mobili, sia in ambito enterprise che in ambito consumer. I contenuti del master includono la programmazione di app native per le maggiori piattaforme (iOS, Android, Windows Phone), sviluppo cross-platform, tecnologie legate alla sensoristica, networking, geolocalizzazione, grafica 3D, multimedialità, web mobile, con particolare attenzione al design delle interfacce e alla formazione di una mentalità imprenditoriale.
Le iscrizioni scadranno il 30 settembre. Il sito del master è visibile all'indirizzo http://masterapp.di.unipi.it/
I corsi dell’Università di Pisa si presentano su iTunes U
Orientarsi tra i corsi dell'Università di Pisa è oggi più facile: grazie a un'iniziativa promossa dall'Ufficio orientamento e realizzata dal Cisiau (il Centro interdipartimentale di servizi informatici per l'area umanistica), sono stati pubblicati su iTunes U i video di presentazione di circa ottanta corsi dell'Ateneo pisano, suddivisi per area scientifica, umanistica e veterinaria. Si tratta di brevi filmati in cui gli stessi docenti spiegano agli studenti i corsi da loro tenuti, raccontandone le caratteristiche, i contenuti e le finalità.
"I video sull'orientamento nascono come uno strumento che l'Ateneo ha inaugurato per rafforzare il suo legame vero l'esterno, cementare la comunità e contemporaneamente spingere i suoi membri verso una migliore trasparenza riguardo a ciò che insegnano – specifica la professoressa Enrica Salvatori, responsabile per l'Ateneo del progetto iTunes U - Le videopresentazioni sono una semplice ma efficace maniera per far capire in pochi minuti cosa si va a imparare e con chi".
I video possono essere scaricati o visualizzati collegandosi al canale ufficiale iTunes U dell'Università di Pisa, ai link:
http://itunes.apple.com/WebObjects/MZStore.woa/wa/viewPodcast?id=465641069 (video area scientifica),
http://itunes.apple.com/WebObjects/MZStore.woa/wa/viewPodcast?id=464754572 (video area umanistica),
http://itunes.apple.com/WebObjects/MZStore.woa/wa/viewPodcast?id=465645691 (video area veterinaria).
I filmati sono stati curati da Claudio Benedetti e Daniele Bologna del Laboratorio di cultura digitale dell'Università di Pisa.
Si consiglia di installare nel proprio computer l'ultima versione di iTunes e QuickTime scaricabili gratuitamente qui:
http://www.apple.com/itunes/download/
http://www.apple.com/quicktime/download/
Ne hanno parlato:
Navigare più veloci e sicuri nel web
C'è un vigile in internet che si chiama "Macchina Virtuale Java" e quando navighiamo agisce quasi a nostra insaputa. E' una specie di sorvegliante che controlla le pagine web che vogliamo vedere, ne valida il codice e se va tutto bene ecco che ci appare il sito che volevamo. Un vigile che però non è sempre così efficiente e che a volte, per eccesso di prudenza, "boccia" il codice Java "buono" che invece dovrebbe essere eseguito giudicandolo pericoloso. Un inceppo non da poco se si pensa che il linguaggio Java è ormai diventato lo standard di riferimento per lo sviluppo di applicazioni software, con uno spettro di utilizzo che va dai cellulari e dagli smartphone a programmi gestionali su larga scala. Ma ecco che uno studio svolto in collaborazione fra l'Università di Pisa e quella di Camerino ha risolto il problema.
"Il controllo del verificatore – spiega Roberto Barbuti del dipartimento di Informatica dell'Ateneo pisano - garantisce che il codice (che potrebbe essere stato scaricato da fonti non affidabili e quindi potrebbe compiere azioni malevole) sia sicuro dal punto di vista del flusso dei dati". "Ma il problema – continua Barbuti – è che l'analisi eseguita dal verificatore standard risulta in alcuni casi troppo superficiale, cioè alcuni codici assolutamente corretti dal punto di vista del flusso dei dati vengono invece bollati come non sicuri e quindi la macchina virtuale si rifiuta di eseguirli".
Da qui l'idea di migliorare la "Macchina Virtuale Java" per renderla più sensibile e "intelligente". Il risultato è stato un articolo a tre firme (Roberto Barbuti e Nicoletta De Francesco per l'Ateneo pisano e Luca Tesei per quello di Camerino), che ha ricevuto il "Computer Journal Wilkes Award", un premio che il "Computer Journal", un rivista internazionale della Oxford University Press, assegna annualmente al miglior lavoro pubblicato. "Il nostro studio – conclude Barbuti - propone un perfezionamento del verificatore, ottenuto introducendo un dominio dei tipi più ricco di quello che viene usato dal verificatore attuale, un risultato pratico che abbiamo ottenuto basandoci sulla teoria della Interpretazione Astratta, in cui la correttezza dell'approccio viene provata matematicamente".
Ne hanno parlato:
RepubblicaFirenze.it
Tirreno Pisa
PisaNotizie.it
InToscana.it
PisaInformaFlash.it
Radiocor - Il sole 24 ore