Academic Staff and Fellows

KATO Toru: Associate Professor Doctor of Engineering; Department/Informatics　 Graduate school/Electronic Engineering

We are investigating the development and safety of “software servants” (mobile agent systems). These application programs move autonomously on the Net to perform work such as gathering information and arranging schedules.

Freight Management System with RFID and Process Algebra

Research Area	Semantics for Concurrent Logic Programming Languages, Equivalence Relations for Process Algebras
Research Interests	Equivalence Relation for Process Algebras、 Handling Management System for Freight with Process Algebras、 Model Checking for Concurrent Systems with Process Algebras、 Mobile Agents、 Semantics for Concurrent Logic Programming Languages
Selected Publications	(1) Model Checking for Dynamic Freight Schedule with Multiple Ambient Calculus, Trans of Information Processing Society of Japan, Vol. 11, No. 3 84-99, (2018). (2) Hybrid Timed Ambient Calculus for Logistics Speciﬁcation, Trans of Information Processing Society of Japan, Vol. 10, No. 4 12-27, (2017). (3) )A Handling Management System for Freight with the Multiple Ambient Calculus and UHFRFID Devices, Trans of Information Processing Society of Japan, Vol. 6, No. 2 pp. 1-12, (2013).
Research and Achievements	https://www.kindai.ac.jp/science-engineering/education/teachers/data/pdf/pdf_09_kato_toru.pdf
Education (Undergraduate Course)	Okayama University

Theory of Concurrent Computation Laboratory

E-mail	kato（at）info.kindai.ac.jp Note that this e-mail address has replaced the "@" with "(at)" to prevent spam. When e-mailing, replace the "(at)" with "@".