Researcher predicts errors in IT systems
Thursday, January 31, 2013 - 08:30
in Mathematics & Economics
Imagine if we never had any more computer problems. No more rail travel chaos caused by signal failures, no more accidents, internet banking that is always secure and medical equipment that always works as it should. It would be a dream world. But aren't errors inevitable in computer systems? Won't some things always be overlooked? Not anymore! We no longer have to overlook anything, according to University of Twente PhD candidate Eduardo Zambon of the Centre for Telematics and Information Technology (CTIT). Because with model checking we can remove the faults from the systems, making them error-free. Zambon, originally from Brazil, obtained his PhD on this subject on January 24, 2013.