In february 2017, the netherlands organization for medical studies (nwo) provided marieke huisman a vici provide worth 1. Five million euros. Marieke huisman is professor of software program reliability at the virtual society institute (dsi). She develops new techniques to make sure that, even as it turns into increasingly complex, software stays dependable.
the vici grant will fund prof. Marieke huisman’s studies into dependable software program for a length of 5 years. Developing reliable software stays a first-rate venture. Programming entails writing instructions that can be ‘understood’ by means of a computer. These instructions had been traditionally achieved in collection, one at a time. These days, it is pretty commonplace for computer systems to perform numerous series of instructions simultaneously. This makes the system greater complex, which in turn will increase the chance of errors or issues. Marieke huisman develops new strategies for checking such complicated pieces of programming work for instructions on the way to motive errors or conflicts, nicely earlier than users try and run those commands of their manufacturing environments. This way you can take a look at that this system’s code works perfectly, earlier than you start strolling it at the target destination. Marieke huisman has already received financial assist, along with a beginning supply from the ecu research council (erc). MARIEKE SOFTWARE RELIABILITY,
Prof. Huisman
“we are making software more efficient. That is an funding so one can yield massive dividends. For plenty companies, including hospitals or banks, dependable software program is surely vital.”
prof. Huisman
software verification and gadget validation
the grasp’s programme in computer technology, and mainly the software program technology specialization, teaches you a way to write dependable software program. As you progress through this programme, you may accumulate the abilities had to create pinnacle-fine software program with rock-solid foundations. How do you move about designing, constructing and validating software like this? How can you test whether or not the applied product virtually works? On the university of twente you are taught efficient methods for developing software program that honestly works well and cuts charges. As a part of the grasp’s programme in computer technological know-how, marieke huisman is the programme mentor for software program technology and teaches subjects, software verification and machine validation.