Muhammad Najib

Muhammad Najib is Assistant Professor in the School of Mathematical and Computer Sciences at Heriot-Watt University, with additional affiliations as an Associate Member in the Department of Computer Science at the University of Oxford. His research focuses on formal verification methods for multi-agent systems using game theory and computational logic.

Najib's work develops theoretical frameworks for verifying and designing equilibrium states in multi-agent interactions, particularly through temporal logic constraints. He created the Equilibrium Verification Environment (EVE) tool for temporal equilibrium analysis, enabling practical implementation of theoretical models.

His recent publications establish computational methods for rational verification and equilibrium design in concurrent game environments. This research addresses fundamental challenges in trustworthy autonomous systems and distributed artificial intelligence.

Najib actively supervises doctoral candidates and leads research projects on the verification of intelligent systems. He collaborates internationally through the Horizon 2020 Marie Skłodowska-Curie doctoral training programme OpenDoTT.