荣誉和奖项被邀请参加NII Shonan会议,参加受信任的自动节目2025的邀请参加Dagstuhl的dagstuhl研讨会,以讨论自主系统的韧性和抗侵犯性2024邀请参加DARPA AI前进工作室2023年邀请参加DAGSTUHL奖学金,从而区分机器学习和log fornecy fornecy fornecy fornecy fornecy fornec fornec fornec fornec fornec fornec fornec fornec fornec fornec 202 222 22 22 22 22222. 2014年PLDI 2014年ESOP奖提名人
主要关键词