Skip to main content

Muhammad Najib

Personal photo - Muhammad Najib

Muhammad Najib

Associate Member


Room 017, Wolfson Building, Parks Road, Oxford OX1 3QD
United Kingdom


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