Zihao Rao (饶子豪)

Zihao Rao

饶子豪

Fudan University Ph.D. Candidate Shanghai, China
👋

About Me

I am a Ph.D. student in Computer Science and Technology at Fudan University, where I also completed my B.Eng. degree. My research interests lie at the intersection of programming languages and software engineering, with a focus on Rust, AI for Software Engineering (AI4SE), and static program analysis.

🔬 Research Interests

  • 🦀 Rust — Safe systems programming with Rust’s ownership model and type system.
  • 🤖 AI4SE — Applying AI/ML techniques to improve software engineering workflows.
  • 🔍 Static Analysis — Program analysis for bug detection, verification, and optimization.
  • 🔧 Formal Methods — Mathematical approaches to software correctness and verification.

🔬 Current Work

  • Verify API Soundness — Working on formal verification of Rust API safety properties using the RAPx framework.
  • tag-std — Developing a tag-based methodology for annotating and auditing safety properties in unsafe Rust code, with application to the Rust standard library.

💼 Experience

  • Ant Group — Java R&D Engineer Intern, Jun 2022 – Sep 2022.
  • Huabao Trust — Information Systems Requirements Analyst Intern, Mar 2023 – Aug 2023.

🏆 Recent Awards

  • Special Prize, Shanghai Open Source Innovation Outstanding Achievement Award (上海开源创新卓越成果奖特等奖).
  • First Prize, Rust Language Research and Innovative Application Track, OpenAtom Competition (开放原子大赛Rust语言研究与创新应用赛一等奖).

👨‍🏫 Advisors

🔗 Links