Donald is a PhD student at Northeastern University, leading research on understanding and improving the software supply chain, security & malware analysis, and other programming languages and software engineering topics. His recent work includes building MaxNPM, a replacement for NPM which utilizes MaxSMT solvers to optimize various software properties when installing dependencies. In general, Donald enjoys applying programming languages and formal methods techniques to build tools that improve the experiences of software developers.