Co-authored policy documents like 'Federated Data Access'; gave talks such as 'Compiling Distributed System Models Into Implementations with PGo' (AWS Automated Reasoning Group), 'Successfully Publishing your Research' (EuroSys Shadow PC meeting), etc.
Research Experience
Spent 2024-2025 as a Visiting Researcher with Uber’s Programming Systems Team, working on static analysis tools for ensuring reliability of microservice-based systems; Spent 2019-2020 as a visiting professor at the National University of Singapore, hosted by David S. Rosenblum and Abhik Roychoudhury, working on fuzzing and improving reliability of neural nets in deployment.
Education
Started at UBC in 2013; Ph.D. from the University of Washington in Seattle, advised by Tom Anderson, Michael Ernst, and Arvind Krishnamurthy; Undergraduate at the University of Chicago, introduced to research by Pete Beckman.
Background
Broad research interests in systems and software engineering, with current projects spanning distributed systems, formal methods, networks, privacy, and machine learning. Enjoys building and studying real software systems and tends to be empirical in his research.
Miscellany
Part of Systopia lab and SPL lab, among other groups across UBC; recent talks and interviews mentioned in the personal profile.