简况
研究兴趣: 动力系统逻辑、自主动力系统逻辑,计算机科学中的逻辑、网络物理系统、编程语言、定理证明、形式方法
话题
逻辑
公告
-
开放博士研究生/博士生职位 在KIT: 亚历山大·冯·洪堡教授组 和 DFG SFB Sonderforschungsbereich Convide公司 和 KiKIT Kerninformatik公司 [ 平均值 | SFB公司 | KiKIT公司 ] -
KiKIT Kerninformatik——KIT的核心信息学研究 亥姆霍兹 -
2023年德意志卫城信息技术总决赛 在KIT [ 结果 ] -
DFG SFB 1608 Convide:基于视图的网络物理系统开发的一致性 -
Alexander von Humboldt人工智能教授 在 配套元件 [ 新闻 | 颁奖典礼 ] 开放博士研究生/博士生职位(申请关闭): 卡尔斯鲁厄计算与数据科学研究生院(KCDS) 将你最好的论文提交给 形式方法2024 让我知道你对我关于如何定义或识别数码双胞胎的建议有何看法。 图灵双胞胎测试:如果一个人能够通过观察与一个系统及其数字孪生兄弟互动,却无法区分系统及其孪生兄弟,那么这对孪生兄弟就通过了图灵双胞胎测试。 允许观察的概念通常限制了允许的问题/属性。 Yong Kiam Tan收到了 CMU计算机学院杰出论文奖 -
KIT网络物理系统逻辑基础新课程 -
Alexander von Humboldt人工智能教授 2023: 配套元件 , CMU公司 . -
CADE-28:第28届自动扣除国际会议 去了 开放式访问 -
KeYmaera X教程 混合系统建模与证明 -
视频讲座 在 网络物理系统的逻辑基础 对于 教材 -
网络物理系统逻辑基础教材 2018 演讲地点: Marktoberdorf暑期学校2019