spacer.png, 0 kB
Volg Cursor via Twitter Volg Cursor via Facebook Cursor RSS feed
spacer.png, 0 kB

 spacer.png, 0 kB



Cursor in PDF formaatCursor als PDF
Special Cursor 50 jaarSpecial Cursor 50 jaar
PrintE-mail Tweet dit artikel Deel dit artikel op Facebook
Winnaar ‘Nobelprijs informatica’ op TU/e
1 oktober 2009 - De Amerikaanse informaticus E. Allen Emerson, in 2007 winnaar van de Turing Award -ook wel aangeduid als de Nobelprijs voor informatica- geeft op 4 november een presentatie in het kader van de Formele Methoden-week (‘FM-week’). De TU/e organiseert de FM-week, met naar verwachting duizend bezoekers het grootste evenement ter wereld op dit vakgebied, van 2 tot en met 6 november.

Softwarefouten kosten de wereldeconomie handen vol geld en zijn soms zelfs een bedreiging voor de veiligheid. Veel van deze complicaties kunnen worden voorkomen met ‘formele methoden’: ict-gereedschap waarmee grote softwareproblemen ontward kunnen worden. Wetenschappers die bedreven zijn op dit gebied, zijn in staat problemen aan te pakken die te hoog gegrepen zijn voor ict-bedrijven. Voor meer informatie over de FM-week: www.win.tue.nl/fmweek. (JH/TJ)