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
-
16 December 2024
Jouke de Vries: ‘The University will have to be flexible’
2024 was a festive year for the University of Groningen. Jouke de Vries, the chair of the Executive Board, looks back.
-
10 June 2024
Swarming around a skyscraper
Every two weeks, UG Makers puts the spotlight on a researcher who has created something tangible, ranging from homemade measuring equipment for academic research to small or larger products that can change our daily lives. That is how UG...
-