Kyushu University Institute of Mathematics for Industry

(1) The theory of graph transformations, graph algorithms and category theory are widely applicable to develop the new kind of computing paradigm such as unconventional computing and natural computing. For example, we are trying to find invariants in graph transformations which are useful to construct algorithms for solving problems which include network reliabilities computing. We are also studying the theory of categories applicable to the theory of programs, automata theory, logic programming and concept analysis. (2) We design, implement and teach about information systems which have a capability to protect the system using encryption from the both point of view ‘Mathematical’ and ‘Practical’.

Keywords Software Science, Graph Transformation, Theory of Computing
Division Division of Applied Mathematics, Division of Intelligent Societal Implementation of Mathematical Computation (Concurrent), Laboratory of Mathematical Design for Advanced Cryptography (Concurrent)