CV

This is a description of the page. You can modify it in '_pages/cv.md'. You can also change or remove the top pdf download button.

Contact Information

Name Junjie Li
Professional Title Ph.D. Student (Incoming)
Email junjieli2026@gmail.com

Professional Summary

Incoming Ph.D. student at Hunan University (advisor: Prof. Yufeng Zhang), currently finishing an M.Sc. at Jilin University (advisor: Prof. Yong Lai). Research interests include constraint solving, Satisfiability Modulo Theories (SMT), and formal methods.

Education

  • 2026 - present

    Changsha, Hunan, China

    Ph.D. (Incoming)
    Hunan University
    Electronic Information (电子信息)
    • Advisor: Prof. Yufeng Zhang (张羽丰)
    • {“Research focus”=>”Constraint Solving, SMT”}
  • 2023 - 2026

    Changchun, Jilin, China

    M.Sc.
    Jilin University
    Software Engineering
    • Advisor: Prof. Yong Lai (赖永)
    • {“Research focus”=>”SMT Sampling, Constraint Solving”}
    • Published: SMT(LIA) Sampling with High Diversity (TACAS 2026)
  • 2018 - 2022

    Zibo, Shandong, China

    B.Eng.
    Shandong University of Technology
    Software Engineering
    • Graduated with B.Eng. in Software Engineering

Publications

  • 2026
    SMT(LIA) Sampling with High Diversity
    Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2026), Springer Nature Switzerland

    This paper addresses SMT sampling — generating diverse satisfying assignments for SMT(LIA) formulas — with a novel approach that significantly improves solution-space coverage and diversity.

Skills

Formal Methods & Verification (Advanced): SMT, SAT, Constraint Solving, SMT Sampling, Program Verification
Programming Languages (Proficient): Python, C++, Java
Tools & Frameworks (Proficient): Z3, CVC5, MathSAT, LaTeX, Git

Languages

Chinese (Mandarin) : Native speaker
English : Professional working proficiency

Interests

Research: SMT Solving, Constraint Sampling, Formal Methods, Program Analysis
Hobbies: Reading, Music, Traveling