About Me

Muhammad Bilal Sarwar is a Research Assistant at the Deep Learning and Machine Learning Lab, SINES, NUST. His research interests include Formal Methods, AI, AI Safety, and Autonomous Systems. He works on formal verification. He holds a Master’s degree in Computational Science & Engineering from NUST, where his thesis focused on Formal Analysis of Lane-Changing Algorithms for Autonomous Vehicles Using Probabilistic Model Checking. Previously, he worked as a Research Associate at IGIS, NUST, contributing to an HEC-funded project on AI-driven vector surveillance.