 Message from the Dean
 History
 Education and Research

Staff Introduction
 Seminars & Events
 Distinctive Programs
 Access
 Job Openings
 Publications
 Related Links
 Contacts
Staff Introduction
(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 

Faculty , Department  Institute of Mathematics for Industry , Laboratory of Advanced Software in Mathematics ,Laboratory of Mathematical Design for Advanced Cryptography (concurrent) 