Skip to main content

Muhammad Najib

Personal photo - Muhammad Najib

Muhammad Najib

Doctoral Student

Leaving date: 28th January 2020


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.

Selected Publications

View AllManage publications