导师姓名 董笑菊
导师性别 女
职务职称 副教授.
所在院系 电子信息与电气工程学院
所属学科 计算机科学与技术
研究方向 并发计算模型、形式化方法
联系电话 021-34205060*601
电子邮箱 dong-xj@cs.sjtu.edu.cn
个人简介
董笑菊，博士，上海交通大学计算机系副教授。1993年至2000年就读于哈尔滨工程大学计算机系，并分别于1997年和2000年获得工学学士和工学硕士学位；2000年至2004年就读于上海交通大学计算机系，2004年获得工学博士学位；2004年至今在上海交通大学计算机系工作。研究方向是计算机软件与理论，目前研究兴趣主要是：并发理论，形式化模型等。