姓名：董社勤
教育背景
工学学士 (计算机科学与技术), 哈尔滨工业大学, 中国, 1985;
工学硕士 (半导体物理与器件), 哈尔滨工业大学, 中国, 1988;
工学博士 (机电控制及自动化), 哈尔滨工业大学, 中国, 1996;
博士后, 浙江大学, 中国, 1999.
社会兼职
清华大学计算机科学与技术系: 研究生工作组长 (2000-2003);
清华大学计算机科学与技术系EDA实验室: 实验室主任 (2000-2008);
ACM/IEEE ASP-DAC: 程序委员会委员 (2010-2011);
海淀区科委: 电子信息专家委员会委员 (2003-);
Joint Conference of Information Science: 程序委员会主席、指导委员会委员 (2007-2008);
日本早稻田大学: 访问学者、客员教授 (2007-2009);
香港中文大学: 副研究员 (2003-2005).
研究领域
集成电路物理设计理论与算法，数字系统设计自动化，集成电路芯片设计；现代优化算法及其应用
研究概况
我主要从事集成电路布图理论及算法研究，近年来在这些方面取得一系列研究成果。基于这些工作，我成功地争取到日本北九州政府及日本早稻田大学的支持，设立清华大学计算机系EDA日本北九州研究基地，开展长期的国际合作研究。
针对集成电路布图规划和布局问题，我提出了基于平面T型划分的角模块序列布图表示理论，包括数据结构、包含最优解的布图表示及其理论、无冗余可遍历的解变换三路线模型等，已经成为该领域有重要影响的工作之一。零死区固定边框布图表示及方程求解算法的提出，是一项重要的理论及技术突破。
结合集成电路物理设计中组合优化问题的研究，我提出了既有全局平滑又有局部平滑机制的解空间平滑优化算法。结合集成电路布局问题，我提出了最小自由度优先的布局算法，是迄今为止世界上最快的固定边框布局算法，并已被成功应用在三维装箱、FPGA规划等方面。
在模拟电路物理设计和数模混合SOC电路物理设计方向上，我提出了基于信号流的布图方法以及模拟电路布图约束自动提取算法。我还提出了针对热效应的模拟电路失配模型、数模混合电路布局的快速噪声模型、及考虑热效应的模拟电路布图算法。这些研究成果已转让至日本精工、Jedat等公司，并成功应用在其EDA产品中。
针对具有异构资源的FPGA布图问题、2.5D集成电路布图问题、3D集成电路布图及互连优化问题、热问题、多电压布图问题等研究难点，我提出了一系列相应的优化方法。针对非直角互连的X结构和Y结构的布图问题，我提出了新的布图规划表示模型和精确的互连估计模型。此外，我还提出了指令定制的优化算法以及体系结构探索算法。
研究课题
清华大学与日本早稻田大学合作项目: 系统芯片及其设计自动化研究 (2006-);
清华大学与日本东芝公司合作项目: 模拟电路物理设计研究 (2007-2010);
国家自然科学基金重点项目: 可编程可重构SOC芯片系统结构及关键技术 (2006-2008);
国家自然科学基金项目: 解空间平滑及其在片上系统布图规划和互连资源规划中的应用 (2005-2007);
国家自然科学基金重大研究计划项目: 数模混合片上系统布图规划与布局算法 (2004-2006);
国家自然科学基金与香港研究资助局联合项目: 基于最小自由度优先的优化算法及其应用研究 (2003-2005);
清华大学与日本精工、Jedat合作项目: 模拟电路布图研究 (2002-2005);
国家自然基金国际合作重点项目: 国际SOC 芯片设计中心 (2001-2004).
奖励与荣誉
北京市科学技术二等奖——超深亚微米SOC物理级CAD关键技术及其应用 (2007);
教育部国家自然科学二等奖——超大规模集成电路物理级优化和验证问题基础研究 (2006);
清华大学研究生教育管理“林枫奖”一等奖: (2002).
