PhD Student in Trusted Computing

I'm currently a PhD student working on my dissertation in trusted computing. I have published papers in high-performance computing, virtualization, and trusted computing, with a focus on operating systems and system software. I have written hypervisors for Intel x86, developed OS kernels for ARM and RISC-V at national labs, and written hardware drivers for our research kernels as well as Linux. Our research focuses on multi-kernel contexts and the advantages that pairing an alternative kernel with Linux can get us. Right now I'm working on my dissertation but am eager to pursue opportunities that would occur in the spring.