I am a passionate PhD researcher with expertise in formal verification, model checking, and strategy synthesis. I have more than eight years of experience in research, teaching and supervision of student projects. I received my master’s degree in Computer Science from the University of Lahore, Pakistan, and served as a lecturer there from 2015 until September 2019.