Letian Cui (崔乐天)'s Homepage

Contact​

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

About me​

• I am currently a Ph.D. student in the group.
• 2021.09 - 2025.06: Computer Science and Technology (Bachelor’s degree), School of Computer Science, Nanjing University.

Research interests​

• LLM methods for Computer Aided Verification
• Boosting LLM with Formal Verification
• Automatic Program Repair and Synthesis