CV
Muhammad Najib
Assistant Professor, Heriot-Watt University, UK
[email protected] — https://researchportal.hw.ac.uk/en/persons/muhammad-najib
Employment Experience
Assistant Professor (Aug 2022-Present)
School of Mathematical and Computer Sciences, Heriot-Watt University, UKPostdoctoral Researcher (Oct 2019-Jul 2022)
Department of Computer Science, TU Kaiserslautern, GermanyR&D Software Engineer (Oct 2011–July 2014)
Samsung Electronics Indonesia
External Position
- Associate Member (Dec 2023-Present)
Department of Computer Science, University of Oxford, UK
Education
Doctor of Philosophy, Computer Science
University of Oxford, UKMaster of Science, Advanced Computer Science
University of Liverpool, UKBachelor of Science, Informatics
Sepuluh Nopember Institute of Technology, Indonesia
Services
- Editorship:
- Topic Editor for Frontiers in Computer Science research topic: Verifying Autonomy: Formal Methods for Reliable Decision-Making
- Programme Committee Duties:
- ECAI: 2025, 2024
- AAMAS: 2026, 2025
- IJCAI: 2025, 2024, 2023, 2022, 2021
- AAAI: 2026, 2025, 2024, 2023
- Organisation:
- RADICAL’25 (Co-chair)
- Reviewing:
- Conferences: FSTTCS’23, KR’23, TACAS’22, CSL’22, AAMAS’21, ICALP’21, FoSSaCS’21, LATIN’18, CONCUR’16
- Journals: Artificial Intelligence, Logical Methods in Computer Science, Transactions on Computational Logic, Logic and Computation, Information and Computation
- Roles:
- Programme Director MSc Artificial Intelligence (Heriot-Watt University, Sep 2024–present)
- Deputy Programme Director MSc Artificial Intelligence (Heriot-Watt University, Sep 2023–Sep 2024)
Funding
- The German Academic Exchange Service (DAAD) (Jan 2022– Dec 2023)
Optimal Decision-Making in Probabilistic Multi-Agent Learning Environment
with Anthony W. Lin (TU Kaiserslautern), Julian Gutierrez, and Frits de Nijs ( Monash University)
Supervision (PhD only)
- Kokulan Thangasuthan (Sep 2023 - Present)
Research Visits
- Visiting Giuseppe Perelli at Sapienza University of Rome, Italy (Feb 2024-Mar 2024)
- Visiting Julian Gutierrez at Monash University, Melbourne, Australia (Jan 2024-Feb 2024)
- Visiting Michael Wooldridge at University of Oxford, Oxford, UK (May 2023)
- Visiting Anthony W. Lin at TU Kaiserslautern, Germany (May 2022-Jun2022)
Publications
Talks
Game-Theoretic Verification of Multi-Agent Systems
Tutorial at The 24th European Agent Systems Summer School, Dublin
Multi-Agent Equilibria: From Verification to Modification and Beyond
Talk at Department of Computing Science, University of Aberdeen,
Verification of Cooperative and Concurrent Multi-Player Mean-Payoff Games
Talk at Understandable Autonomous System Seminar, School of Computing Science, University of Glasgow,
Game Theory Meets AI: A Logical and Mathematical Approach to Verifying Multi-Agent Systems
Keynote Talk at International Conference on Applied Mathematics, Statistics, and Computing 2023, Udayana University, Bali, Indonesia
Examining Games and a Way to Repair Them
Talk at WhiteMech Group Meetings, Department of Computer, Control, and Management Engineering, Sapienza University of Rome,
Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games
Talk at Journal track of the 30th International Joint Conference on Artificial Intelligence (IJCAI 2021),
Equilibrium Design for Concurrent Games
Talk at 8th International Workshop on Strategic Reasoning (Satellite Workshop of ECAI 2020),
Logic and Games
Talk at Guest lecture in Logic & Semantics of Programming Languages course (Winter Semester 2020), Department of Computer Science, TU Kaiserslautern.,
Verifying and Designing Equilibria in Multiagent Systems
Talk at 2nd International Workshop on Recent Advances in Concurrency and Logic (RADICAL 2019) (co-located with CONCUR 2019), Amsterdam, The Netherlands
Some Approaches to Rational Verification in Multiagent Systems
Talk at 1st International Workshop on Recent Advances in Concurrency and Logic (RADICAL 2017) (co-located with CONCUR 2017), Berlin, Germany