Skip to main content

Muhammad Najib

Personal photo - Muhammad Najib

Muhammad Najib

Doctoral Student

E: mnajib@cs.ox.ac.uk

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

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