| |
您要打印的文件是：上海交通大学计算机科学与技术专业导师简介
|
|
|
上海交通大学计算机科学与技术专业导师简介
作者：上海交通大学 转贴自：http://daoshi.kaoyantj.com/2005/05/31/F64F5A7CCA2644D4.html 点击数：99
|
照 片 未 上 传 |
|
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.形式化方法、形式化验证和模型验证 | |
|
