上海交通大学电子信息与电气工程学院导师介绍：董笑菊

　　导师姓名 董笑菊
　　导师性别 女
　　职务职称 副教授.
　　所在院系 电子信息与电气工程学院
　　所属学科 计算机科学与技术
　　研究方向 并发计算模型、形式化方法
　　联系电话 *************601
　　电子邮箱 dong-xj@cs.sjtu.edu.cn

　　个人简介
　　董笑菊，博士，上海交通大学计算机系副教授。1993年至2000年就读于哈尔滨工程大学计算机系，并分别于1997年和2000年获得工学学士和工学硕士学位；2000年至2004年就读于上海交通大学计算机系，2004年获得工学博士学位；2004年至今在上海交通大学计算机系工作。研究方向是计算机软件与理论，目前研究兴趣主要是：并发理论，形式化模型等。