prof. dr. F.W. Vaandrager (Frits)

Prof. Frits Vaandrager ontwikkelt methoden waarmee fouten in software kunnen worden opgespoord. Deze methoden worden toegepast bij systemen die niet mogen falen, maar waarvan de betrouwbaarheid uiterst moeilijk valt aan te tonen vanwege de complexiteit en het astronomische aantal toestanden. Denk bijvoorbeeld aan de besturing van een vliegtuig, trein of auto. Vaandrager's groep vindt regelmatig 'bugs' in bestaande systemen en helpt om het ontwerp van nieuwe systemen te verbeteren.

• Afdeling Software Science