Sakib is a research fellow at Imperial Global Singapore, working on the AI4PR project. His research sits at the intersection of program analysis and AI-assisted reasoning, with a focus on using large language models to extend the reach and scalability of traditional program analysis techniques.
He received his PhD from The Ohio State University, where his thesis developed a principled pipeline for logical vulnerability assessment in memory-safe languages, spanning detection, semantic modeling, and automated proof-of-concept generation.
