董笑菊,博士,上海交通大学计算机系副教授。1993年至2000年就读于哈尔滨工程大学计算机系,并分别于1997年和2000年获得工学学士和工学硕士学位;2000年至2004年就读于上海交通大学计算机系,2004年获得工学博士学位;2004年至今在上海交通大学计算机系工作。研究方向是计算机软件与理论,目前研究兴趣主要是:并发理论,形式化模型等...
董笑菊,博士,上海交通大学计算机系副教授。1993年至2000年就读于哈尔滨工程大学计算机系,并分别于1997年和2000年获得工学学士和工学硕士学位;2000年至2004年就读于上海交通大学计算机系,2004年获得工学博士学位;2004年至今在上海交通大学计算机系工作。研究方向是计算机软件与理论,目前研究兴趣主要是:并发理论,形式化模型等...
导师姓名 董笑菊 导师性别 女 职务职称 副教授. 所在院系 电子信息与电气工程学院 所属学科 计算机科学与技术 研究方向 并发计算模型、形式化方法 联系电话 021-34205060*601 电子邮箱 dong-xj@cs.sjtu.edu.cn 个人简介 董笑菊,博士,上海交通大学计算机系副教授。1993年至2000年就读于哈尔滨工程大学计算机系,并分别...
董笑菊 上海交通大学, 副教授 / 科研之友号:38145872 科研之友人员唯一编号 0 项目 68 成果 811 阅读 1 下载 38 被引 3 H-指数 主页 成果
董笑菊 中国 上海交通大学 图书馆 学者ID:GAID10215664 同名学者 论文总数37+ 国际论文数27+ 知名学者引用 TOP引用学者 临床指南引用 订阅此学者 注册后可以免费订阅1位学者,订阅后可以查看全部论文及更多信息 学术论文 代表作 合作学者 学科 期刊 顶级期刊 Email 发文曾用名 机构轨迹 ...
董笑菊,博士,上海交通大学计算机系副教授。1993年至2000年就读于哈尔滨工程大学计算机系,并分别于1997年和2000年获得工学学士和工学硕士学位;2000年至2004年就读于上海交通大学计算机系,2004年获得工学博士学位;2004年至今在上海交通大学计算机系工作。研究方向是计算机软件与理论,目前研究兴趣主要是:并发理论,形式化模型等...