Operating Systems Kernel Engineering

Research Frontiers in Operating System Kernel Verification Using Formal Methods

Research on mathematical proofs and model checking to verify correctness properties of critical kernel components and algorithms.

All Operating Systems & Kernel Engineering PhD categories