- Example Paper: Graph-Based Attention for Differentiable MaxSAT Solving (Authors: Sota Moriyama, Katsumi Inoue; Conference: The 39th Annual Conference on Neural Information Processing Systems (NeurIPS 2025; San Diego))
Research Experience
- Apr, 2025 - Present: Project Professor, Principles of Informatics Research Division, National Institute of Informatics
- Apr, 2025 - Present: Professor Emeritus, The Graduate University for Advanced Studies
- Apr, 2025 - Present: Professor Emeritus, National Institute of Informatics
- Apr, 2024 - Present: Collaborative Professor, Graduate School of Informatics and Engineering, The University of Electro-Communications
- Apr, 2024 - Present: Visiting Professor, The Kyoto College of Graduate Studies for Informatics
- Apr, 2023 - Mar, 2025: Professor, Informatics Program, Graduate Institute for Advanced Studies, The Graduate University for Advanced Studies, SOKENDAI
- Apr, 2021 - Mar, 2025: Visiting Professor, School of Computing, Tokyo Institute of Technology
- Mar, 2004 - Mar, 2025: Professor, National Institute of Informatics
- Mar, 2020 - Feb, 2025: Visiting Professor, École Centrale de Nantes
- Apr, 2005 - Mar, 2023: Professor, Department of Informatics, School of Multidisciplinary Sciences, The Graduate University for Advanced Studies, SOKENDAI
- Apr, 2016 - Mar, 2021: Specially Appointed Professor, School of Computing, Tokyo Institute of Technology
- Apr, 2015 - Mar, 2016: Adjunct Professor, Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology
- Apr, 2008 - Mar, 2012: Visiting Professor, Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology
- Apr, 1997 - Mar, 2004: Kobe University
- Apr, 1993 - Mar, 1997: Toyohashi University of Technology
- Oct, 1986 - Mar, 1993: Institute for New Generation Computer Technology
- Apr, 1984 - Mar, 1993: Matsushita Electric Industrial Co., Ltd.
Education
- PhD Degree (Engineering), Department of Applied Mathematics and Physics, Kyoto University, Jan, 1993
- Department of Applied Mathematics and Physics, Graduate School, Division of Engineering, Kyoto University, Apr, 1982 - Mar, 1984
- Department of Applied Mathematics and Physics, Faculty of Engineering, Kyoto University, Apr, 1978 - Mar, 1982
Background
- Research Interests: Artificial Intelligence, Knowledge Representation, Reasoning, Machine Learning, Logic Programming, Inductive Logic Programming, Answer Set Programming, Abduction, Consequence Finding, Knowledge Discovery, SAT, Resilience, Boolean Networks, Systems Biology, Multi-Agent Systems
- Professional Fields: Informatics / Intelligent informatics, Mathematical informatics, Computational science, Biological, health, and medical informatics
- Profile: Project Professor at the Principles of Informatics Research Division, National Institute of Informatics (NII) in Japan. Holds a PhD in Engineering (Applied Mathematics and Physics) from Kyoto University (1993) for studies on abductive and nonmonotonic reasoning. An expert in Artificial Intelligence, Logic Programming, and Computer Science in general.