• EH14 4AS

    United Kingdom

Accepting PhD Students

PhD projects

Any topic within my research interests.


Research activity per year

If you made any changes in Pure these will be visible here soon.

Personal profile


I’m an assistant professor in the School of Mathematical and Computer Sciences at Heriot-Watt University, Edinburgh. Before Heriot-Watt, I was a postdoctoral researcher at TU Kaiserslautern, Germany. I hold a DPhil/PhD from the University of Oxford, an MSc from the University of Liverpool, and a BSc from Sepuluh Nopember Institute of Technology.

Fully-funded PhD opportunities at Heriot-Watt: I am accepting PhD students who are interested in working with me in my main research areas. Funding available, covers (international) tuition fees and living expenses. Useful link: PhD opportunities in Computer Science.

Other useful links:

Research interests

My current research is in the use of formal techniques for verifying and reasoning about systems composed of multiple self-interested intelligent agents. It combines approaches from formal verification, logic, automata theory, and game theory. The work is documented on EVE (Equilibrium Verification Environment) Web.

I am interested in supervising PhD/MSc/BSc students who want to work on the topics above.


Dive into the research topics where Muhammad Najib is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles


Recent external collaboration on country/territory level. Dive into details by clicking on the dots or