Maria Christakis
Maria Christakis Prof. Maria Christakis develops software that can be used to check other software for errors. She is now receiving a highly endowed ERC grant for this. Every day we depend on computer software working correctly. Not only when we use laptops or mobile phones - even when we board a plane, transfer money or simply rely on the power supply, we depend on complicated software. The search for errors in this software has long been automated: There are computer programs that check other computer programs for errors. But who analyzes the software analysis tools? Prof. Maria Christakis from the Institute for Information Systems Engineering at TU Wien is dealing with this highly difficult question. She has now been awarded an ERC Starting Grant by the European Research Council (ERC) - one of the most prestigious and highly endowed grants in the European research landscape. Programs that check other programs. In particularly critical areas - such as the control of an aircraft or a nuclear power plant - it is not enough to know that the software has not made any mistakes in the past. There should be proof that the software is error-free and behaves correctly in every conceivable situation. Today, program analysis tools are used for this purpose, which examine computer code on the basis of formal logic. In certain cases, one can then prove with mathematical precision that a certain code is indeed absolutely error-free. But who analyzes these analysis tools themselves?
TO READ THIS ARTICLE, CREATE YOUR ACCOUNT
And extend your reading, free of charge and with no commitment.
