Muhammad Najib

Dr. Muhammad Najib is an Assistant Professor (Lecturer in the UK system) at Heriot-Watt University's School of Mathematical and Computer Sciences in Edinburgh. He is also an Associate Member of the University of Oxford's Department of Computer Science. His research focuses on ensuring AI safety through formal verification methods, particularly in multi-agent systems. Najib holds a DPhil/PhD from the University of Oxford, supervised by Julian Gutierrez and Mike Wooldridge, and has industry experience at Samsung Electronics.

Education: BSc from Sepuluh Nopember Institute of Technology, MSc from the University of Liverpool, DPhil/PhD from the University of Oxford. He previously worked as a postdoctoral researcher at TU Kaiserslautern under Anthony Lin.

Research Interests: Logic and game theory in AI foundations, equilibrium verification in multi-agent systems, temporal logics, and formal verification techniques. He developed the EVE tool for rational verification. Najib actively supervises PhD students and collaborates on projects like the UKRI AI CDT-D2AIR.

Key Contributions: Published 17+ research outputs since 2018. Areas include equilibrium design, probabilistic multi-agent systems, and computational complexity analysis. His work bridges formal methods with AI safety, emphasizing automated synthesis and model checking.