Research Explorer

Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Project

Finding and Mitigating Semantic Bugs in the Linux Kernel

Outputs and Outcomes

Doctoral researcher

Waldo Verstraete

Department of Electronics and information systems (ELIS)

Administrative supervisor

Department of Electronics and information systems (ELIS)

PhD Supervisor

Bjorn De Sutter

Department of Electronics and information systems (ELIS)