Yong-Jun Shin
Senior researcher @ ETRI | PhD @ KAIST

I’m a senior researcher of Electronics and Telecommunications Research Institute (ETRI), a national research institute in South Korea.
I received my Ph.D. in software engineering at Korea Advanced Institute of Science and Technology (KAIST) under the guidance of Professor Doo-Hwan Bae in 2023.
My Ph.D. research focused on data-driven model generation for efficient verification of cyber-physical system (CPS) software (e.g., autonomous driving).
My research interests includes
- model-based software engineering,
- SW verification and validation,
- self-adaptive system,
- CPS software (e.g., autonomous driving, ROS 2 robotics),
- CI/CD on edge computing
News
Mar 14, 2025 | 🧑🏫 I was invited to Chungbuk National University and gave a seminar titled “Verification of Callback Concurrency and Cause-Effect Latency of ROS 2 Mobility Software.” |
---|---|
Nov 22, 2024 | 🎉 My paper has been accepted as a full paper in the Programming Language track at ACM SAC 2025. See you in Italy in April 2025. |
Oct 08, 2024 | 🎤 I was invited to Hannam University and gave a seminar titled “Model-Based Software Engineering Approaches for the Verification of Autonomous Mobility.” |
Latest posts
Feb 06, 2024 | My first blog post test |
---|