Synthesising directed structures in Computer Science using Directed Algebraic Topology

2021 Fiscal Year Final Research Report

• Project/Area Number: 19K20215
• Research Category: Grant-in-Aid for Early-Career Scientists
• Allocation Type: Multi-year Fund
• Review Section: Basic Section 60010:Theory of informatics-related
• Research Institution: National Institute of Informatics
• Principal Investigator: DUBUT Jeremy 国立情報学研究所, 大学共同利用機関等の部局等, 特任研究員 (50836765)
• Project Period (FY): 2019-04-01 – 2022-03-31
• Keywords: algebraic topology / concurrency / language theory / robotics

Outline of Final Research Achievements

The goal of this project was to describe and analyse directed structures, typically by the influence of the unrolling of time, in various problems in computer science, mathematics, and robotics. Throughout this project, and thanks to domestic and international collaborations with France and Germany, we have developed theories and algorithms towards this goal, with results already published for concurrent systems in international conferences and journal, and results in preparation for robotics and language theory.

Free Research Field

Foundation of mathematics

Academic Significance and Societal Importance of the Research Achievements

At this point of the project, the significance is mostly academic: the results obtained showed good theoretical results and algorithms in the analysis of directed structures.