I'm a software engineer at Microsoft, and I recently graduated from the University of Washington's Paul G. Allen School of Computer Science and Engineering. I'm interested in all things "in the weeds," especially OS/drivers/virtualiztion, and I also am interested in formal verification and its use in industrial projects. Since much of work ends up here one way or another, it's essentially my portfolio. Feel free to have a look around!