Fuyuki Ishikawa

Fuyuki Ishikawa is an Associate Professor at the Information Systems Architecture Science Research Division of the National Institute of Informatics (NII) in Tokyo, Japan, where he also serves as Director of the GRACE Center. Additionally, he holds positions as an Associate Professor at Sokendai (The Graduate University for Advanced Studies) and as a Visiting Associate Professor at The University of Electro-Communications, focusing on Trustworthy & Smart Software Engineering. His research spans multiple institutions and international collaborations, with a strong emphasis on dependable software systems.

Dr. Ishikawa's research interests focus on "Smart Systems and Smart Dependability Assurance," with particular emphasis on dependability in Cyber-Physical Systems and Machine Learning Systems. His work investigates techniques of verification, reasoning, optimization, automated test generation, and self-adaptation by making use of various models for requirements, specifications, and designs. Key research areas include Formal Methods (Formal Specification, Refinement), Testing (Search-based Testing, Model-based Testing), Goal-Oriented Requirements Analysis, Self-Adaptation (Models@run.time), and Machine Learning Systems Engineering. His research also extends to Service-Oriented Computing, Cloud Computing, IoT, and Cyber-Physical Systems, particularly in automotive applications.

Analysis of Dr. Ishikawa's recent publications reveals a strong focus on applying formal methods and search-based techniques to ensure the reliability of AI-enabled systems, particularly in safety-critical domains. His work increasingly addresses challenges in testing and repairing deep neural networks within cyber-physical contexts, with significant contributions to autonomous driving systems verification. There's also a growing interest in quantum-classical hybrid systems and the application of evolutionary computation to software engineering problems. His research bridges theoretical formal methods with practical industrial applications, often through large-scale collaborative projects.

Dr. Ishikawa has received numerous prestigious awards:

• Awards for Science and Technology (Research Category) by the Minister of Education (April 2024)
• IPSJ/IEEE Computer Society Young Researcher Award (March 2020)
• Multiple Best Paper Awards at ICFEM, SEKE, ICECCS, and ISSRE
• Best Artifact Award at ISSTA 2015

Dr. Ishikawa leads the Ishikawa Lab at NII, which participates in several major research projects including the ERATO-MMSD Project, MIRAI-eAI Project, REFENG Project, and PerQAS Project. His lab consists of members from different organizations and actively promotes international and industry-academia collaborations. He also offers internship opportunities through NII for students interested in trustworthy software engineering, particularly focusing on generative AI applications and testing of AI systems.