This is Rakib, a Software Engineering Ph.D. Candidate at the University of California, Irvine (UCI), working with Professor Cristina Lopes in Mondego Research Group. My primary research area is Software Engineering, focused on AI for Reliable & Verifiable Software Engineering. Currently working on the applications of Large Language Models (LLMs) in Program Verification, Program Synthesis, and Program Analysis. I am motivated by developing approaches and tools for improving software correctness and enhancing developers’ productivity.