Letian Cui (崔乐天)'s Homepage

Contact​

• Institute: Institute of Software, Chinese Academy of Sciences (ISCAS)
• Department: State Key Lab. of Computer Science (SKLCS)
• email: letiancui###outlook**com

About me​

• I am currently a Ph.D. student in the group.
• Sept. 2021 – Jun. 2025: Bachelor’s degree in Computer Science and Technology from the School of Computer Science, Nanjing University.

Research interests​

• LLM methods for computer-aided verification
• Boosting LLMs with formal verification
• Automatic Program Repair and Synthesis