Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.

Project

Semantische bugs in de Linux-kernel vinden en tegengaan

Informatie

Projectteam

Organisaties

Output en outcomes

Doctoraal onderzoeker

Waldo Verstraete

Vakgroep Elektronica en Informatiesystemen (ELIS)

Administratief verantwoordelijk promotor

Bart Coppens

Vakgroep Elektronica en Informatiesystemen (ELIS)

Promotor

Bjorn De Sutter

Vakgroep Elektronica en Informatiesystemen (ELIS)