Dr. Yong-Jun Shin is a researcher at ETRI, a government-funded research institute in South Korea. He received his Ph.D. in software engineering at KAIST under the guidance of Professor Doo-Hwan Bae in 2023. His Ph.D. research focused on data-driven environment model generation for efficient verification of cyber-physical system (CPS) software. His research interests include model-based software engineering, meta-modeling, statistical verification, environment and uncertainty modeling, self-adaptive systems, and CPS.