Former kernel developer for Microsoft turned PhD student.