Computer software, artificial intelligence, machine learning, basic theory of informatics

Introduction of Informatics, algorithm theory, data handling, machine learning, information and occupation

Graduated from Kyoto University in 1984.

Ph.D. (Engineering) Information Engineering, Kyoto University

IEEE, Electronic Information and Communication Society, Information Processing Society

Software verification, machine learning, time automaton, model inspection, time compatibility

１．Software verification
２．Machine learning
３．Embedded system design verification

[Thesis]
１．Combined Constraint on Behavior Cloning and Discriminator in Offline Reinforcement Learning
Shunya Kidera, Kosuke Shintani, Toi Tsuneda, Satoshi Yamane
IEEE Access February 2024
２．Enhanced Full Attention Generative Adversarial Networks.
Kaixu Chen, Satoshi Yamane
IEICE Trans. Inf. Syst. 106(5) 813-817 May 2023

Other 130

[Academic Activities]
１．Vice Chairman of the Society of Electro-Information and Communication Engineers
２．2015 - 2016 Chair of System Mathematics and Applied Specialist

１．Real-time software model inspection infrastructure study of embedded assembly programs with interrupts (C) 2021-04-01 – 2024-03-31 Representative:

Research representatives of six other issues, etc.

１．Invited lecture: 2017 IEEE 6th Global Conference on Consumer Electronics
Title Deductively verifying embedded software in the era of artificial intelligence = machine learning + software science

２．Tutorial Lecture: Embedded Systems Symposium 2007
　　Description and verification of real-time system

Other 5 academic lectures

１．Research on artificial intelligence that promotes DX, especially machine learning.
２．Description of specifications of DX Process

We will conduct the theory and practice of DX using the theory of artificial intelligence and computer software.

[email protected]