Skip to main content

Muhammad Najib

Personal photo - Muhammad Najib

Muhammad Najib

Doctoral Student

Leaving date: 28th January 2020

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.

Selected Publications

View AllManage publications

Activities

Supervisors