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. Also, I pursued a Master’s in Software Systems Engineering at the University College London (UCL) as a Commonwealth Scholar.
My primary research area is Software Engineering, with a focus on AI for reliable and verifiable software engineering. Currently working on the applications of Large Language Models (LLMs) in Program Verification, Program Synthesis, and Program Analysis.