Junjie Li's Website
Incoming Ph.D. Student · Hunan University | M.Sc. · Jilin University
I am Junjie Li (李浚杰), an incoming Ph.D. student at Hunan University, where I will be advised by Prof. Yufeng Zhang. I am currently completing my Master’s degree in Software Engineering at Jilin University, under the supervision of Prof. Yong Lai.
My research lies at the intersection of constraint solving and formal methods, with a particular focus on Satisfiability Modulo Theories (SMT). I am especially interested in SMT sampling — generating diverse, high-coverage sets of satisfying assignments for logical formulas — and its applications in software verification, testing, and analysis.
I received my B.Eng. in Software Engineering from Shandong University of Technology in 2022.
Research Interests
- Satisfiability Modulo Theories (SMT): sampling, solving, and diversity
- Constraint Solving: SAT, SMT, and combinatorial optimization
- Formal Methods: program verification and analysis
Selected Publications
See the Publications page for a full list.
Beyond Research
Outside of academia, I enjoy reading, music, and traveling — a good book, a well-curated playlist, or an unfamiliar city can be just as thought-provoking as a research problem.
“The purpose of computing is insight, not numbers.” — Richard Hamming
news
| Mar 01, 2026 | Paper accepted at TACAS 2026 (Springer LNCS): SMT(LIA) Sampling with High Diversity — joint work with Prof. Yong Lai and Prof. Chuan Luo. |
|---|---|
| Oct 01, 2025 | Excited to share that I have been admitted as a Ph.D. student at Hunan University, starting September 2026, advised by Prof. Yufeng Zhang. Looking forward to the next chapter! |
| Sep 01, 2023 | Started my M.Sc. in Software Engineering at Jilin University, joining Prof. Yong Lai’s group to work on constraint solving and SMT. |
latest posts
| Mar 26, 2025 | a post with plotly.js |
|---|---|
| Dec 04, 2024 | a post with image galleries |
| May 14, 2024 | Google Gemini updates: Flash 1.5, Gemma 2 and Project Astra |