Error-free computer thanks to math and logic, Jorge Perez in FSE Science Newsroom by René Fransen
What if computer programmers had autocorrect at their disposal, a tool that could detect program errors and suggest changes? Jorge Pérez, associate professor in Software Foundations at the University of Groningen, uses mathematics and logic on a quest towards a world free of software errors. A world in which programs no longer crash and critical services such as hospitals and airports never have to face software problems like the one witnessed earlier this year.
FSE Science Newsroom | René Fransen
read the whole article here
https://www.rug.nl/fse/news/digital-society/error-free-computer-thanks-to-math-and-logic
| Last modified: | 10 December 2024 5.03 p.m. |
More news
-
02 July 2025
Relinde Weil reappointed as a member of the Supervisory Board UG
The Minister of Education has reappointed Relinde Weil for a second term as a member of the Supervisory Board of the University of Groningen.
-
-
01 July 2025
Khalaf Alkhalaf elected Alumnus of the Year 2025
Khalaf Alkhalaf has been elected Alumnus of the Year 2025 by the University of Groningen. He has received the award for his commitment to providing good care and guidance to refugees in the Netherlands and the inspiring way in which he shares his...