教育经历 2002-9至2005-7, 法国巴黎国立高等矿业学院, 博士 1999-9至2002-3, 上海交通大学, 硕士 1995-9至1999-7, 上海交通大学, 学士 工作经历 2015-6至今, 华东师范大学, 教授 2012-2至2014-2, 联合国教科文组织巴黎总部, 借调专家(P3级) 2011-2至2011-12, 美国卡内基梅隆大学, 访问学者 2006-9至...
1999-9至2002-3, 上海交通大学, 硕士 1995-9至1999-7, 上海交通大学, 学士 工作经历 2015-6至今, 华东师范大学, 教授 2012-2至2014-2, 联合国教科文组织巴黎总部, 借调专家(P3级) 2011-2至2011-12, 美国卡内基梅隆大学, 访问*** 2006-9至2015-5, 上海交通大学, 副教授 2005...
华东师范大学 计算机科学与软件工程学院 被引频次 880 成果数 18 H指数 13 G指数 6领域: 计算机软件与理论 实验室主页链接: https://basics.sjtu.edu.cn/~yuxin/ 期刊 44.4% 会议 33.3% 专著 16.7% 其它 5.6% 总计 18篇 2007年成果数3 2014年被引量108 全部年份 全部类型 全部作者 按时间降序 Semantics...
由学院邓玉欣教授(上海市高可信计算重点实验室主任,滴水湖国际软件学院“高安全工业软件开发技术”实验室主任)独立完成的“并发进程的互模拟语义理论”项目荣获“CCF科技成果奖”自然科学二等奖。 “CCF科技成果奖”设立于2012年,授予在计算机科...