兵库大学人文科学与环境学院

Prof. Dr.Sc.Kazumi Nakamatsu分别在日本日本静冈大学获得硕士学位和九州大学获得博士学位，是日本兵库大学人类科学与环境学院的正式教授。

Prof. Dr.Sc.Kazumi Nakamatsu的研究方向包括各种逻辑及其在计算机科学中的应用，特别是副连续注释逻辑程序及其应用。他最近开发了一些副连续注释逻辑程序，称为ALPSN(强否定注释逻辑程序)、VALPSN(Vector ALPSN)、EVALPSN(Extended VALPSN)和bf-EVALPSN (beforeor after EVALPSN)，并将其应用于基于安全验证的铁路联锁控制系统和过程顺序控制等智能系统。发表论文150余篇，著书20章，编著10本由著名出版社出版的著作。

Prof. Dr.Sc.Kazumi Nakamatsu主持了各种国际会议、研讨会和受邀会议，是计算机科学领域众多研讨会和会议的国际项目委员会的成员。是Inderscience Publisher（英国）的《基于推理的智能系统国际期刊》（IJRIS）的主编，也是许多国际期刊的编辑委员会成员。曾在国际研讨会、会议和学术组织发表过许多受邀演讲。他获得了一些会议和论文奖，是日本人工智能协会、日本面部协会等的会员。