nl /typo3conf/ext/www_tue_nl/Resources/Public/Images/logo01.gif 18 16 TYPO3 10 /en/news-and-events/news-overview/08-06-2026-making-parallel-programming-easier-to-understand-and-verify-with-a-data-centered-approach /en/news-and-events/news-overview/08-06-2026-making-parallel-programming-easier-to-understand-and-verify-with-a-data-centered-approach Mon, 08 Jun 2026 10:11:00 +0200 PhD researcher Tom Franken developed new methods to make parallel programming easier to design, understand, and verify by introducing a new way of structuring how parallel programs are written and executed. ]]> /en/news-and-events/news-overview/13-11-2025-making-legacy-software-understandable-and-reliable /en/news-and-events/news-overview/13-11-2025-making-legacy-software-understandable-and-reliable Thu, 13 Nov 2025 10:00:00 +0100 Legacy code remains critical in healthcare, finance, and manufacturing. Flip van Spaendonck’s research offers formal models to analyze and ensure system reliability. ]]> /en/news-and-events/news-overview/06-11-2025-ensuring-reliable-machine-control-software-through-model-checking /en/news-and-events/news-overview/06-11-2025-ensuring-reliable-machine-control-software-through-model-checking Thu, 06 Nov 2025 11:47:00 +0100 Anna Stramaglia developed advanced methods to verify machine-control software, helping prevent costly or dangerous failures in robotics, manufacturing, and other critical systems. ]]> /en/news-and-events/news-overview/24-10-2023-on-the-right-track /en/news-and-events/news-overview/24-10-2023-on-the-right-track Tue, 24 Oct 2023 12:03:00 +0200 Mark Bouwman defended his PhD thesis at the Department of Mathematics and Computer Science on October 23rd. ]]> /en/storage/biomedische-technologie/de-faculteit/news-and-events/news-overview/24-11-2022-making-critical-systems-more-safe-and-secure-by-model-checking /en/storage/biomedische-technologie/de-faculteit/news-and-events/news-overview/24-11-2022-making-critical-systems-more-safe-and-secure-by-model-checking Thu, 24 Nov 2022 14:12:00 +0100 Maurice Laveaux developed several methods to improve the scalability of formal verification in large scale software systems. ]]>