260205_news

🎤 I was invited to present “Verification of Cause–Effect Chain Latency in Robotics Software” at the Early-Career Researcher Session of KCSE 2026.