Dong Xiaoju

董笑菊，博士，现任上海交通大学计算机科学与技术系教授，博士生导师。主要研究方向包括形式化方法、可视分析、网络与信息安全、生物计算等。董教授在形式化方法领域有深入研究，特别是在进程演算和Petri网的理论与应用方面。她提出了多种形式化方法用于建模和分析生物化学反应过程，并在可视分析领域做出了重要贡献，开发了多个可视化系统用于网络异常检测、DDoS攻击分析、数据流图分析等。董教授在国际期刊和会议上发表了大量高水平论文，多次担任国际会议的程序委员会主席和领域主席。她还积极参与国际合作，与多所国际知名高校和研究机构建立了长期合作关系。董教授在教学方面也取得了显著成绩，曾获多项教学奖励，并指导多名博士生和硕士生完成学业。