Instellingen beheren
MENU
Over deze site
In English
Home
Onderzoekers
Projecten
Organisaties
Publicaties
Infrastructuur
Contact
Research Explorer
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
Code
DOCT/006412
Looptijd
27-08-2021 → 21-09-2025 (Lopend)
Doctoraal onderzoeker
Waldo Verstraete
Onderzoeksdisciplines
Niet beschikbaar
Projectomschrijving
Niet beschikbaar