About Me

I’m Bilal Sarwar, a Research Assistant at the System Analysis and Verification (SAVe) Lab, SEECS, NUST. My research focuses on developing optimization frameworks that combine LLMs with SAT solver heuristics, as well as quantum algorithm verification using Higher Order Logic. I hold a Master’s degree in Computational Science and Engineering from NUST, where my thesis involved formal verification of lane-changing algorithms for autonomous vehicles using probabilistic model checking. Alongside my research, I have gained practical technical expertise in working with OpenStack, OpenHPC, and Kubernetes, building a strong foundation in cloud computing and high-performance computing environments. I am currently seeking a PhD position in formal verification to further advance my research in this field.