上海交通大学计算机科学与技术专业导师简介
|
热
|
|
| 上海交通大学计算机科学与技术专业导师简介 |
| ［
作者：上海交通大学 转贴自：http://daoshi.kaoyantj.com/2005/05/31/F64F5A7CCA2644D4.html 点击数：99 更新时间：2007/1/9 文章录入：夏晶晶
］ |
[注：本站登载的某些文章并不代表本站支持或反对其观点或肯定其真实性]
|
照 片 未 上 传 |
|
Self –Introduction (自我介绍) I was trained as a logician, especially in the field of Model Theory My ph.D adviser is Prof. Wang Shiqiang(王世强)，Beijing Normal University. Supported by Volkswagen Foundation I studied Model-theoretic Logic and Finite Model The |
|
|
姓名 |
沈恩绍 |
|
研究方向 |
1.逻辑、自动机与博弈2.形式化方法、形式化验证和模型验证 | |
|
| [注：标题搜索比内容搜索快]
|
| 【发表评论】【告诉好友】【打印此文】【关闭窗口】 |
网友评论：（只显示最新10条。评论内容只代表网友观点，与本站立场无关！）