Skip to content
View GSteve-Paul's full-sized avatar
😉
wink
😉
wink
11 followers · 13 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Highlights

  • Pro

Block or report GSteve-Paul

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
GSteve-Paul/README.md

👋 Hi there

I am Jiangnan Li. I received my B.S. in Computer Science from Northeast Normal University and am currently pursuing an M.S. at the Institute of Software, Chinese Academy of Sciences (ISCAS). My research focuses on automated reasoning and constraint solving.

🏆 Programming Competitions

  • 🥉 5 Bronze Medals in ICPC/CCPC Regional Contests
  • 🥈 2 Silver Medals in ICPC/CCPC Invitational Contests

🔭 Programming Languages:

  • C/C++
  • Rust
  • Java
  • C#
  • Visual Basic.NET

🌱 I’m currently learning:

  • ANF solving
  • SMT solving

👯 I’m a member of:

  • Former member of the NENU ACM Team
  • Former member of NENU Bluemsun Studio

📫 How to reach me:

Pinned Loading

  1. NotificationFilter NotificationFilter Public

    A Notification Filter on Android 14

    Java 2