Offside
Limelight

“Competitiveness, Innovation and Knowledge” Team and Pedro Barreiro

Free Nonsense

We live in a world where technology plays a major role. Many people assume that any technological breakthrough will be immediately accepted and welcomed by society. Sorry to disappoint you, but this is just not true...", Bruno Santos

Have your say

“I am a fan of the “Show & Tell” meetings(...). The aim is to promote the formation of groups in the area of “Technology Innovation and Entrepreneurship”, study key models in this area and promote team spirit. Therefore, the event has real potential for a group of researchers...", José Pedro Rodrigues

Gallery of the Uncommon

Vanity: It is a sin for some, for others it is temptation but it is a true passion for one particular Inesquian.

Jobs 4 the Boys & Girls

In this section, the reader may find reference to public announcements made by INESC Porto offering grants, contracts and other opportunities of the same kind.

Biptoon

More scenes of how life goes merrily on...

Subscribe to the BIP
 
 

HASLab/INESC TEC researcher wins IBM Scientific Prize

HASLab/INESC TEC researcher wins IBM Scientific Prize

Alexandra Martins da Silva, a researcher at the High Assurance Software Laboratory (HASLab – INESC TEC Privileged Partner), was the winner of the 21st edition of the IBM Scientific Prize.

Alexandra Silva was awarded this prize for her work on Kleene Coalgebra, making her the first women to be distinguished with this prize.

Her work consisted of extending one of the most important results in computer science that was never thought possible: the Kleene theorem. Her research makes it possible to create models of complex computer systems and accurate languages to describe/prescribe and verify their behaviour. Her approach covers all cases documented in the literature and made it possible to solve others that until now were unknown, such as models of systems with uncertain evolution. These are very relevant in applications where the probability of failure and controlling exceptions must be accurately assessed.

The IBM Scientific Prize was introduced in 1990 by IBM Portugal in order to award research deserving merit in the area of computer science to encourage young Portuguese researchers to publish their work.

The IBM Scientific Prize was presented on 18th October in a ceremony at the University of Minho with Nuno Crato, the Minister of Education and Science.
Alexandra Silva is 27 years old and completed her degree in Mathematics and Computer Science at the University of Minho in 2006. She was awarded the “cum laude” distinction (awarded to just 5% of PhDs) for her PhD at the University of Nijmegen in Holland. She is now a grant holder at HASLab in the IT Department of the University of Minho and has been teaching at the Foundations of Computing Group at the University of Nijmegen since October.