Hi 👋, This is Rafael 📝 Learn more about me? https://shinmao.github.io 📫 How to reach me shinmaox2016@gmail.com 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: