清华十一年

1986.9 ~ 1997.7：清华大学 计算机科学与技术系

博士论文：可满足性问题的算法设计与分析

哲学论文：算法研究的方向和方法的比较研究

答辩实况：答辩胶片，答辩视频

指导老师：张钹教授 “贺思敏的论文是我近年接触到的最深刻的优秀论文之一。”

清华回忆：幸福时光