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
