javascript contador Skip to content

Premio scientifico IBM per ricercatore dell’Università del Minho

Premio scientifico IBM per ricercatore dell'Università del Minho

Un nuovo approccio su come derivare le lingue dalle espressioni regolari ai modelli di computer ha fatto guadagnare ad Alexandra Silva, 27 anni, la distinzione con l’IBM Scientific Award di quest’anno, del valore di 15.000 euro.

Chiamata “Kleene Coalgebras”, l’indagine presenta una generalizzazione di un risultato classico nella teoria dei computer, il Teorema di Kleene. I modelli considerati includono, tra gli altri, automi con probabilità, che vengono oggi utilizzati nello studio del software per garantire proprietà come: “Il sistema X fallisce solo nello 0,01% dei casi”, spiega in dettaglio il comunicato stampa.

Il lavoro del ricercatore, concesso in licenza dall’Università del Minho e un dottorato all’Università di Nimega, nei Paesi Bassi (dove da ottobre di quest’anno sarà professore nel gruppo Sistemi intelligenti), rappresenta un’evoluzione in relazione ai risultati presentati negli anni ’50 da Kleene, per il modello di elaborazione più semplice.

I guasti del software sono frequenti e, nella maggior parte dei casi, innocui. Tuttavia, quando il software controlla i sistemi rischiosi, come aerei o dispositivi medici, i guasti possono persino portare alla perdita della vita umana, si legge nella nota.

“I risultati presentati nella tesi sono puramente teorici, ma nei prossimi anni, lo sviluppo di applicazioni a supporto della teoria presentata potrebbe aprire le porte al suo utilizzo nei modelli software, aumentando il livello di affidabilità del sistema”, ritiene IBM Portogallo .

La società ha istituito il premio scientifico nel 1990, con l’obiettivo di distinguere il contributo dei lavori di ricerca allo sviluppo delle scienze informatiche e delle tecnologie dell’informazione. I progetti possono provenire dai domini più diversi, purché applicati a Informatica. L’obiettivo è quello di motivare i giovani ricercatori nazionali a pubblicizzare i loro progetti, promuovendo il rapporto tra le comunità di ricerca industriale, accademica e scientifica, afferma la società.

Nella 21a edizione del premio, la ricercatrice Mariana Almeida, dell’Istituto di telecomunicazioni, si è anche distinta con una menzione d’onore, che ha presentato un nuovo approccio alla messa a fuoco delle immagini.

Fotografia, videosorveglianza, imaging medico, astronomia, osservazione a distanza o televisione, sono alcune delle aree che possono beneficiare del nuovo metodo proposto dallo scienziato, che ha conseguito una laurea e un dottorato in ingegneria elettrica e informatica presso l’Instituto Superior Técnico.

A differenza dei metodi esistenti, consente di mettere a fuoco le immagini senza avere una conoscenza preliminare del tipo di sfocatura, ovvero senza imporre rigide restrizioni al filtro di sfocatura e dovrebbe “contribuire in modo significativo al miglioramento della qualità dell’immagine”.