CV

Curriculum vitae of Junjie Li, Ph.D. student at Hunan University working on constraint solving and program analysis.

Contact Information

Name Junjie Li
Professional Title Ph.D. Student
Email junjieli2026@gmail.com
Profiles GitHub  ·  Google Scholar  ·  ORCID

Professional Summary

Ph.D. student at Hunan University (advisor: Prof. Yufeng Zhang), with an M.Sc. from Jilin University (advisor: Associate Prof. Yong Lai). My research focuses on constraint solving and program analysis.

Education

  • 2026-09 - Present

    Ph.D.

    Changsha, Hunan, China

    Hunan University Computer Science

    Advisor: Prof. Yufeng Zhang

    Research focus: Constraint Solving, Program Analysis

  • 2023 - 2026

    M.Sc.

    Changchun, Jilin, China

    Jilin University Software Engineering

    Advisor: Associate Prof. Yong Lai

    Research focus: Satisfiability Modulo Theories and Sampling

  • 2018 - 2022

    B.Eng.

    Zibo, Shandong, China

    Shandong University of Technology Software Engineering

Publications

Projects

  • HighDiv

    An SMT(LIA) sampler for high-diversity solutions.

    • Integrates CDCL(T) with local search for high-diversity SMT(LIA) sampling.
    • Introduces a boundary-aware move operator to balance scalability and randomness.
  • BDDSampler

    A C++ command-line tool for uniform sampling of satisfying assignments from bit-vector constraints using BDDs.

    • Parses bit-vector constraints from JSON and represents their satisfying assignments with BDDs.
    • Uses exact model counting to sample satisfying assignments uniformly.

Skills

Formal Methods & Verification (Advanced): Satisfiability Modulo Theories, Program Verification
Programming Languages (Proficient): Python, C++
Tools & Frameworks (Proficient): Z3, Bitwuzla, KLEE

Languages

Chinese (Mandarin) : Native speaker
English : College English Test Band 6 (CET-6)

Interests

Research: Constraint Solving, Program Analysis
Hobbies: Reading, Music, Traveling