Ervaringen

Prof. dr. Marieke Huisman is Hoogleraar Software Reliability

Marieke Huisman ontving in februari 2017 een Vici-subsidie - 1,5 miljoen euro - van de Nederlandse Organisatie voor Wetenschappelijke Onderzoek (NWO). Marieke Huisman (CTIT) is hoogleraar Software Reliability. Zij ontwikkelt nieuwe technieken om steeds complexer wordende software betrouwbaar te maken en te houden.

Betrouwbare software

Dankzij de Vici-subsidie kan prof. dr. Marieke Huisman vijf jaar onderzoek doen naar betrouwbare software. Het maken van betrouwbare software blijft een grote uitdaging. Wanneer je programmeert, schrijf je eigenlijk instructies die te begrijpen zijn voor een computer. In het verleden werden deze instructies één voor één uitgevoerd. Tegenwoordig is het niet ongebruikelijk dat een computer meerdere series instructies gelijktijdig uitvoert. Dit vergroot de complexiteit van het proces en daarmee de kans op fouten of problemen. Huisman ontwikkelt nieuwe technieken waarmee zulke complexe stukken programmeerwerk gecontroleerd worden op instructies die fouten of conflicten gaan veroorzaken nog vóórdat je de instructies daadwerkelijk probeert uit te voeren in je productieomgeving. Op deze manier weet je of de programmeercode foutloos werkt, voordat je deze op de eindbestemming inzet. Marieke Huisman heeft onder meer al eens een Starting Grant ontvangen van de European Research Council (ERC).

We maken software efficiënter. Dat is een investering die veel oplevert. Voor veel organisaties is betrouwbare software van levensbelang. Denk aan ziekenhuizen of banken.Prof. Dr. Marieke Huisman

Software systems en Programming Paradigms

Het schrijven van betrouwbare software leer je tijdens de masteropleiding Computer Science, en voornamelijk in de specialisatie Software Technology. Tijdens deze opleiding leer je hoe je fundamenteel goede software maakt. Hoe ontwerp je dit, hoe zet je het in elkaar en hoe valideer je de software? Hoe ga je na of het geïmplementeerde echt werkt? Aan de University of Twente leer je hoe je software efficiënt ontwikkelt zodat deze écht goed en kostenbesparend werkt. Binnen de bacheloropleiding Technical Computer Science is Marieke betrokken bij de modules Software Systems en Programming Paradigms.

Chat offline (info)