2025年 Joseph Sifakis 年度新闻与动态汇总