Ao Sun

Appearance

About Me ​

I am Ao Sun, currently a PhD student at Peking University, advised by Prof. Xin Zhang.

I previously obtained my bachelor's degree from the School of Computer Science at Wuhan University, advised by Prof.Mengting Yuan.

Research Interests ​

My experience in web development has sparked my interest in programming languages and software engineering. I am particularly interested in the following research areas:

  • Static Program Analysis
  • Program Verification
  • AI for Software Engineering
  • ...

Education ​

  • B.S. in Computer Science, Wuhan University, 2022 - 2026, advised by Prof.Mengting Yuan.
  • PhD. in Computer Science, Peking University, 2026 - ?, advised by Prof.Xin Zhang.

Hobbies and Interests ​

I enjoy playing electronic games, especially First-Person Shooter (FPS) games and Role-Playing Games (RPGs).

I have a keen interest in electronic music.

I am also a fan of SCP Foundation.

Contact ​