About#
I’m a PhD student at the University of Queensland (UQ). I’m fortunate to be supervised by A/Prof. Guangdong Bai.
You can learn more about my work by the following links: ORCID, ResearchGate, LinkedIn, Google Scholar.
I’m a one hundred percent math amateur, and I’m interested in various mathematical models, especially those related to neural networks. My current research focuses on neural network verification, especially verifying neural networks by over-approximating convex hulls, i.e., constructing linear constraints for the non-linear neural network.
My Research Interests#
2024 - Current#
This is my second year of PhD study. I have began to develop our verification tool for some time, which is mainly implemented by Pytorch (some parts are dependent on Gurobi and pycddlib).
Our paper ReLU Hull Approximation about neural network verification has been accepted by POPL’24,
Our paper (with Zihan Wang) CORELOCKER: Neuron-level Usage Control about model version control has been accepted by S&P’24.
Our paper (with Xinguo Feng) Uncovering Gradient Inversion Risks in Practical Language Model Training about Gridient Inversion Attack (GIA) has been accepted by CCS’24.
2023 - 2024#
I began my PhD study in January and am supervised by A/Prof. Guangdong Bai. I focus on neural network verification, specifically verifying neural networks by over-approximating convex hulls. I also collaborate with my colleague, Xinguo Feng, Zihan Wang on other topics like gradient inversion and model pruning. I’m very interested in theoretical proofs about neural networks on any topic. I published a paper about ReLU Hull Approximation in POPL’24 (This is real a great honor for me because you know it is hard), which shows a critical idea of how to construct the convex hull of a function. The main used libraries are Gurobi ( linear programming optimization) and pycddlib ( double description algorithm ).
2022#
I finished my master’s thesis, and it is about verifying neural networks by abstract interpretation, leveraging polyhedral abstract domains and programming methods specifically ( DeepPoly (POPL’19), k-relu (NIPS’19), PRIMA (POPL’22) ). I focused on propagation-based models and LP ( linear programming )-based models.
2021#
I started studying for my master’s degree at Queensland University (UQ), majoring in Information Technology. My main focus was on course study, and I learned Java programming and algorithms in depth.
2019 – 2020#
I taught myself machine learning, especially deep learning. I have thought deeply about deep learning principles and have a certain understanding of various models. This is inspired by my best friend, Shupeng Geng. During this period, I also taught myself various introductory courses on algebraic geometry, including commutative algebra, homology algebra, algebraic geometry, computational algebraic geometry, algebraic topology, and algebraic number theory (Because I think this is my obsession before my post-graduate studying).
2017 – 2018#
I was honored to follow my supervisor, Dr. Haixin Ding, at Zhengzhou University, to learn about system dynamics (Vensim), agent-based models (ABM) (Repast Simphony), structural equations modeling (R), and factor analysis (R). During this period, I read many books on sociology and philosophy, most of which involved communication, sociological research methods, and metaphysics.
My undergraduate thesis researched consumer perception using factor analysis and web crawling methods. In this period, I began to love research and I hope to become a PhD.
2015 – 2016#
I taught myself various basic mathematical models and mathematical software (many software including the MATLAB, R, SPSS, LINGO, … I just learn the basic usage of these software, not the advanced usage in that time. ), including differential equation models, optimization models, statistical models, machine learning models, algorithms, and more. I started participating in various mathematical modeling competitions and won various awards (I think they are not worth mentioning).
2014 - 2015#
I started studying for my undergraduate degree at Zhengzhou University, majoring in marketing. I taught myself undergraduate mathematics and statistics introductory courses, including mathematical analysis, advanced algebra, advanced geometry, ordinary differential equations, complex functions, functional analysis, probability theory, mathematical statistics, stochastic processes, time series, and discrete math etc.
My Hobbies#
I collect stamps, coins, and such things from when I was about 10 years old. I liked to collect various kinds of things when I was a child.
I was also the best Yoyo player in my city when I was a child. I won many times champion in my city ( Nanyang ) and I’m very proud to have that time.
I was also a good pen spinning player from when I was in senior high school.
I also played skateboard, roller skating, and scooter, when I was in high school.
Philosophers and their works that impressed me include Karl Popper (The Logic of Scientific Discovery), Thomas Kuhn (The Structure of Scientific Revolutions), Imre Lakatos (The Methodology of Scientific Research Programmes), Vladimir Lenin (The State and Revolution), Karl Marx (Marx’s Economic and Philosophic Manuscripts of 1844), Ludwig Wittgenstein (Tractatus Logico-Philosophicus).
My favorite novels includes Faust, The Great Gatsby, The Lady of the Camellias.
My favorite movies includes Once Upon a Time in High School, Initial D (film), A Beautiful Mind (film), The Man Who Knew Infinity (film), Amadeus (film).
I liked music includes pop, rock, electronic, rap music, and more. Now I’m a big fan of KPOP, especially Newjeans, NMIXX, Aespa, LE SSERAFIM, BlackPink and mores.