• I'm Yansong Feng, a Ph.D. student at AMSS and an AI4Crypto Research Intern at MiniMax.

• 🔐 My research focuses on algorithmic number theory and combinatorics, with applications to cryptography and theoretical computer science.

• 🤖 Recently, I'm also interested in AI for security and AI-assisted formal verification.

• ❤️ I love music 🎵, running 🏃‍♀️, and dinos 🦕.

• 🎓 I expect to graduate in 2027 and am seeking full-time opportunities in industry or as a postdoctoral researcher. Feel free to contact me!

• 📖 You can find more about me and my research on my website.

Website • CV • Google Scholar • DBLP • Twitter