Yayu Wang is a PhD student advised by Aastha Mehta. His research interests are in operating systems, security, and verification.