Om de intensiteit van verkeerscongestie te verminderen en de doorstroming van het verkeer te verbeteren hebben onderzoekers van het Europese C4C-project nieuwe wiskunde en informatica ontwikkeld. De b[...]

Het is belangrijk dat software goed werkt, vooral wanneer er veiligheidskritische systemen bij betrokken zijn - zoals medische apparatuur, auto’s of raketten. Theoretisch informatici stellen voor om[...]