744 Motooka, Nishi-ku

Fukuoka 819-0395, Japan

TEL (Office): +81-92-802-4402

FAX (Office): +81-92-802-4405

##### IMI(Institute of Mathematics for Industry)

# Detail of Academic Staffs

## MIZOGUCHI, Yoshihiro/ Professor

MIZOGUCHI, Yoshihiro（Professor） (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'.

Keyword | Software Science, Graph Transformation, Theory of Computing |

Division | Laboratory of Advanced Software in Mathematics ,Laboratory of Mathematical Design for Advanced Cryptography (concurrent) |