Hi ๐, This is Rafael ๐ Learn more about me? https://shinmao.github.io ๐ซ How to reach me [email protected] Research interest Program Analysis and Repair in Rust Binary Analysis Experience Research Intern at @Certik Research Intern at @Vector35 Bug hunting Implement static analysis tool to detect hundred of bugs in Rust Connect with me: