Ishikawa Lab. 日本語 >


Web Site of Fuyuki Ishikawa & Ishikawa Lab.

Associate Professor at Information Systems Architecture Science Research Division, and Deputy Director of Grace Center, in National Institute of Informatics, Tokyo, Japan

Visiting Associate Professor at The University of Electro-Communications

Trustworthy & Smart Software Engineering

We have a wide range of activities for "Smart Systems and Smart Dependability Assurance."

We envision advanced application systems and investigate techqnieus of verification, reasoning, optimization, automated test genration, and self-adaptation by making use of a variety of models for requirements, specifications, and designs.

Our present focus is dependability in Cyber-Physical Systems and Machine Learning Systems via techniques of formal methods and automated test generation.

Our group consists of members from different organizations and also promote international and industry-academia collaborations.

Key Activities

You may check DBLP or Google Scholar

Engineering methods for machine learning systems, specifically testing and quality assurance
JST MIRAI-eAI Project, SIG-MLSE (Machine Learning Systems Engineering) and QA4AI (Consortium of Quality Assurance for Artificial-Intelligence-based products and services) in Japan
ASSURE'18,ER'18,ISSRE'19, RE'20, ISSRE'21, SANER'22, ICST'23, GECCO'23
Testing and debugging for autonomous driving systems
GECCO'19, ICECCS'19, ICST'20, GECCO'20, ISSRE'20, ICST'21, ASE'21, ICST'22, RE'22
Refinement engineering: flexible construction of verified multi-step system models
Kakenhi Wakate-A Grant, Kiban-B Grant / REFENG Project
ABZ'14, FM'15, ER'16, FM'16, FOAC'18
Quality Optmization and Self-Adaptation in Service Composition and Cloud Management
PerQAS Project: ICWS'11, WWW'12, TSC'14, TSC'16, TPDS'17

More details are found in the list of publications and activities.


f-ishikawa < a >