Tengjie Lin
M.Sc. Candidate
Zhejiang University
I am currently a Master’s student at the Formal Verification Group, supervised by Dr. Mingshuai Chen. My research focuses on LLMs for formal methods, e.g., LLM-driven specification synthesis for verifying large-scale programs, and on reinforcement learning for large language models.
Interests
- LLMs for Formal Methods
- Reinforcement Learning
- Large Language Models
Education
-
M.Sc. in Software Engineering, 2028
Zhejiang University
-
B.Sc. in Computer Science, 2025
Xidian University
