Alexandra Silva, licenciada em Matemática e Ciências da Computação (MCC) pela Universidade do Minho, ganhou o Prémio Científico IBM 2010, uma das maiores distinções na área da Informática. É a primeira vez que o galardão é atribuído a um trabalho sobre teoria da computação e a um investigador ligado à UMinho.
“Este prémio não é só um reconhecimento do meu trabalho, é sobretudo uma vitória para todos os que fazem investigação em teoria de computação, uma área muitas vezes olhada como secundária no panorama das Ciências de Computação”, afirma Alexandra Silva.
O Prémio Científico IBM 2010 visa reconhecer trabalhos de elevado mérito científico no campo da computação teórica e aplicada. Lançado em 1990, este concurso destina-se a investigadores com menos de 35 anos e premeia geralmente trabalhos baseados em teses de doutoramento.
Alexandra Silva, que concluiu em 2006 a licenciatura em MCC na UMinho, com 19 valores, realizou a sua tese de doutoramento sobre «Kleene Coalgebra», na Universidade de Nijmegen, na Holanda, onde foi aprovada “cum laude” por unanimidade. A investigação assenta sobre métodos algébricos e co-algébricos para arquitectura de software.
“Este prémio não é só um reconhecimento do meu trabalho, é sobretudo uma vitória para todos os que fazem investigação em teoria de computação, uma área muitas vezes olhada como secundária no panorama das Ciências de Computação”, afirma Alexandra Silva.
O Prémio Científico IBM 2010 visa reconhecer trabalhos de elevado mérito científico no campo da computação teórica e aplicada. Lançado em 1990, este concurso destina-se a investigadores com menos de 35 anos e premeia geralmente trabalhos baseados em teses de doutoramento.
Alexandra Silva, que concluiu em 2006 a licenciatura em MCC na UMinho, com 19 valores, realizou a sua tese de doutoramento sobre «Kleene Coalgebra», na Universidade de Nijmegen, na Holanda, onde foi aprovada “cum laude” por unanimidade. A investigação assenta sobre métodos algébricos e co-algébricos para arquitectura de software.