回复我的名字：家人和朋友打电话给我纳吉布.作为印尼人大多数人没有姓氏，我的两个名字都有了。请随意使用。
我是一名助理教授（或讲师传统英国制度)在中数学与计算机科学学院和的成员LAIV：人工智能验证实验室在爱丁堡的赫里奥特·沃特大学。此外，我是一名牛津大学计算机科学系副教授在加入Heriot-Watt之前，我曾担任博士后研究员安东尼·林在凯泽斯劳滕工业大学在德国。我拿着一个牛津大学哲学博士/博士（监督人朱利安·古铁雷斯和迈克·伍尔德里奇)，利物浦大学理学硕士，塞普鲁·诺彭伯理工学院理学学士。我还拥有在印尼三星电子公司担任研发软件工程师的行业经验。
在Heriot-Watt获得全额博士学位：我目前正在接受博士生的申请，他们有兴趣在我的主要研究领域与我合作。资金可用于支付国际学费和生活费。有关更多信息，请访问计算机科学博士学位第页。如果你有一个潜在的项目，请随时给我发一封电子邮件，以便进一步讨论。我期待着您的回音！
研究兴趣
我的研究兴趣是计算机科学、人工智能和博弈论的交叉点。我使用形式化和数学技术来验证和推理由多个自利智能代理组成的系统。特别是，我主要研究以下主题：
- 理论计算机科学中的逻辑和博弈论以及人工智能的基础。
- 并发多智能体系统中均衡的验证、设计和综合。
- 数学/计算逻辑（例如，模态和时序逻辑）。
- 模型检查、自动合成和形式验证。
- 与上述主题相关的问题的计算复杂性。
我是的主要开发者欧氏瓣心内膜炎（平衡验证环境），用于的工具理性验证。该工具可从在线使用http://eve.cs.ox.ac.uk。我一直对改进EVE感兴趣（例如，更快的技术、新的用例等），并欢迎潜在的合作。
监管利益
我有兴趣监督那些想从事我研究兴趣范围内的课题（或与之相关的课题）的博士/硕士/理学学士学生（见上文研究兴趣部分）。如果你有一个潜在的项目，请随时给我发一封电子邮件，以便进一步讨论。
新闻
- 2月24日：我将出席CSL’24这篇论文，然后访问朱塞佩·佩雷利3月9日前在罗马萨皮恩扎。
- 1月24日：我正在参观朱利安·古铁雷斯2月9日之前在莫纳什。
- 8月22日：加入爱丁堡赫里奥特·沃特大学，担任助理教授。
- 1月22日：我们的研究项目概率多智能体学习环境中的最优决策已获得德国学术交流服务（DAAD）授予的澳大利亚-德国联合研究合作计划资金。（与Anthony W.Lin、Julian Gutierrez和Frits de Nijs（莫纳什大学）合作）。
- 3月20日：我的博士论文”多智能体系统中的理性验证“已存放在博德莱安图书馆牛津大学研究档案.
- 12月19日：我通过了我的博士论文。我感谢我的考官阿莱西奥·洛穆西奥和卢克·翁获取有价值的反馈。
