Skip to main content

Muhammad Najib

Personal photo - Muhammad Najib

Muhammad Najib

Associate Member

E: mnajib@cs.ox.ac.uk

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