Marieke Huisman receives Netherlands Prize for ICT Research 2013

The Netherlands Prize for ICT research 2013 worth €50,000 has been awarded to Dr Marieke Huisman (University of Twente). Computer scientist Huisman leads a research team that is working on reliability and correctness of concurrent software.

The jury was impressed by the quality and size of Marieke Huisman's work. They therefore consider Marieke Huisman to belong to the absolute top of her generation. Most computers and smartphones nowadays run concurrent software. This makes the software faster, but the different processes can interfere, which can cause computers to crash or malfunction. Huisman’s research helps eliminate those bugs and crashes, by use of logic-based reasoning. Over the past ten years she has made considerable progress in this area. 'She is also able to communicate the importance of her research and of computer science in general. She is committed to increasing young people's – and particularly girls' – interest in computer science and technology', according to the jury.