Completed my Ph.D. at UBC! Thesis: Static Analysis Approaches for Finding Vulnerabilities in Smart Contracts.
