Operating Systems Kernel Engineering

Research Frontiers in Kernel Memory Safety and Type System Design

Investigation of memory-safe kernel implementations, type-safe abstractions, formal verification approaches, and unsafe code minimization in kernel development.

All Operating Systems & Kernel Engineering PhD categories