Publicatie

08 / 09 / 2010 | Redactie

CTIT-onderzoekers Boudewijn Haverkort, Holger Hermanns en Joost-Pieter Katoen publiceren deze maand een artikel in Communications of the ACM. Dit wetenschappelijke tijdschrift wordt gezien als de Science of Nature van ICT-onderzoek. In hun artikel beschrijven de wetenschappers samen met een collega uit Dresden het samenkomen van twee belangrijke vakgebieden: performance analyse en verificatie (model checking).

Recommended

Terwijl Amerikaanse wetenschap onder druk staat, smeden EU en Australië een nieuw bondje

Eerst een handelsverdrag met defensieafspraken en nu ook een deal over de wetenschappen. Onder druk van geopolitieke ontwikkelingen halen de EU en Australië de banden aan.

Bas Borsje UT-docent van het jaar 2026

Bas Borsje is gisteren uitgeroepen tot winnaar van de Centrale Onderwijsprijs en mag zich UT-docent van het jaar 2026 noemen. De jury en het aanwezige publiek verkozen hem boven de twee andere finalisten docenten Mohammadreza Farrokhnia en Pim van ’t Hof.

Opnieuw uitstel screening van wetenschappers in gevoelige vakgebieden

Er komt voorlopig geen screening van onderzoekers en masterstudenten in gevoelige vakgebieden. 'We zitten nog aan de tekentafel', zegt minister Letschert. 'Het huidige voorstel was niet haalbaar.'

Studenten zijn drijvende kracht achter softwarebedrijf Fledge

Vanaf de campus bouwt het bedrijf Fledge aan een nieuwe generatie software voor maak- en productiebedrijven. Dat doen ze door studenten aan te trekken. Door hen geen ‘klusjes’ te geven, weet directeur Ronald de Vries jong talent te binden.