Linyu Yang

Linyu Yang

Ph.D. Candidate

Zhejiang University

I am currently working on my Bachelor’s thesis at the Formal Verification Group under the supervision of Dr. Mingshuai Chen. The goal of my research is to develop automated techniques for adaptively tuning parameters of static analyzers. I will join the group as a Ph.D. Candidate in September 2024.

Interests

  • Abstract Interpretation
  • Static Analysis
  • Type Theory
  • Theorem Proving
  • Programming Theory/Languages

Education

  • Ph.D. in Computer Science, 2029

    Zhejiang University

  • B.Sc. in Information Engineering, 2024

    Nanjing University of Information Science and Technology

Publications