Ms. Shaheen Kousar is a full-time Lecturer at COMSATS University Islamabad, Sahiwal Campus, specializing in computer science. Previously, she served as a Research Associate at Information Technology University, Lahore, where she contributed to the Formal Verification of the Ethereum 2.0 Beacon Chain project. She also held a Lecturer position at the University College of Montgomery, Sahiwal. Shaheen’s research has been published in Sustainability and IEEE Access, focusing on formal modeling in IoT and blockchain verification. She is skilled in academic writing, critical thinking, and enhancing student engagement through innovative teaching practices.