Dr. Muhammad Najib is a Lecturer in the School of Mathematical and Computer Sciences at Heriot-Watt University. Prior to this, he was a Postdoctoral Researcher at the Technical University of Kaiserslautern, a DPhil/PhD student at the University of Oxford, and an R&D Software Engineer at Samsung Electronics. His interests lie at the intersection of computer science, artificial intelligence, and game theory, with a particular focus on the verification and reasoning of multi-agent systems. He employs formal and mathematical techniques for the verification, design, and synthesis of equilibrium strategies in concurrent multi-agent systems. This includes, but is not limited to, modal and temporal logics, model checking, automated synthesis, and computational complexity analysis.