News
All updates, most recent first.
-
🎤 I completed my first three-day intensive lecture at ETRI AI Academy, titled “Introduction to Software Testing for Safe AI.” 🎤🎉
-
🎉 My single-authored paper, “Modeling and Verification of ROS 2 Callback Concurrency Using the UPPAAL Model Checker,” has been accepted in “Int’l Journal of Software Engineering and Knowledge Engineering (IJSEKE).
-
🎉 My single-authored paper, “Runtime Verification of Cause–Effect Latency in Black-box Systems,” has been accepted in “Information and Software Technology” (IST) — a Q1 journal (JCR top 15%).
-
🎤 I was invited to present “Verification of Cause–Effect Chain Latency in Robotics Software” at the Early-Career Researcher Session of KCSE 2026.
-
👏 I was appointed as a lecturer at ETRI AI Academy! I’ll offer a course titled “Introduction to Software Testing for Safe AI”
-
🍼 I was appointed as the leader of a networking group for scientist-parents, supported by the KIRD, to explore PLAYING with AI for KIDS. Now, we start!
-
🧑🏫 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.”
-
🎉 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.
-
🎤 I was invited to Hannam University and gave a seminar titled “Model-Based Software Engineering Approaches for the Verification of Autonomous Mobility.”
-
👋 My new homepage is open!
-
🚧 My homepage is under construction.