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
-
30 September 2025
Lieutenant General Elanor Boekholt-O’Sullivan awarded the Aletta Jacobs Prize 2026
The University of Groningen (UG) has awarded the Aletta Jacobs Prize 2026 to Elanor Boekholt-O’Sullivan, the first female lieutenant general in the Dutch armed forces. The prize will be presented on Friday 6 March 2026 by the Rector Magnificus of...
-
15 September 2025
Successful visit to the UG by Rector of Institut Teknologi Bandung
The Rector of Institut Teknologi Bandung (ITB), Prof Tatacipta Dirgantara, paid a 3-day visit to the UG.
-
04 July 2025
University of Groningen awards various prizes during Ceremony of Merits
The UG awarded different prizes to excellent researchers and students during the Ceremony of Merits on 4 July 2025.