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
-
06 June 2025
India-Netherlands Hydrogen Valley Fellowship Programme announced
To coincide with World Environment Day, 5 June 2025, the Indian Department of Science and Technology and the University of Groningen yesterday announced a Hydrogen Valley Fellowship Programme Partnership, allowing talented Indian scholars working on...
-
24 March 2025
UG 28th in World's Most International Universities 2025 rankings
The University of Groningen has been ranked 28th in the World's Most International Universities 2025 by Times Higher Education. With this, the UG leaves behind institutions such as MIT and Harvard. The 28th place marks an increase of five places: in...
-
05 March 2025
Women in Science
The UG celebrates International Women’s Day with a special photo series: Women in Science.