-
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



