Ao Sun

Appearance

About Me ​

I am Ao Sun, currently a undergraduate student at Wuhan University.

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
  • Any other topics related to programming languages and software engineering

Education ​

  • B.S. in Computer Science, Wuhan University, 2022 - 2026

Hobbies and Interests ​

I enjoy playing electronic games, especially First-Person Shooter (FPS) games and Role-Playing Games (RPGs). I also have a keen interest in electronic music.

Contact ​