Hello, this is my blog, welcome to visit. I am currently a graduate student in computer science. I will share my study and work experience here, and occasionally talk about my daily life and share my mood in life.

My postgraduate major is the formal verification of neural networks. And I have implemented a simple neural network verification tool on my github using an optimization algorithm based on MILP. I want to work in front-end development in the future, because I think front-end development is a very interesting thing. You can quickly see the pages you make, and you can add your aesthetics and show your thoughts to others.