Dr. Najib Muhammad

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.

Research keywords: 
Logic, Automata Theory, Game Theory, Multi-Agent Systems, Formal Verification, Automated Synthesis, Model Checking
Machine Learning and AI (inc. multi-agent systems)
Verification and Security
Email (optional - published on profile page):