主页

2022年博士招生计划说明

我预计有2022年入学的空缺博士招生名额。欢迎准备保送直博或者考普博的同学!
 
我现在重点关注一个研究问题:计算机能否自动生成算法?能做到什么程度?具体而言,给定形式化描述的算法问题,比如排序问题可以描述为:输入:i:list,输出:o:list,满足bag(o)=bag(i) /\ for any 0<=i<j<len(o), o[i] <= o[j],我们希望能自动生成该问题的算法,效率越高越好。我们目前正在构建一个基于算法竞赛的题库,希望能找到算法自动解出尽可能多的题目。
 
该问题有重要的研究价值和实践意义。让计算机学会自己写程序一直是科学家的美好愿望,但到目前能自动写的都是非常简单的程序,能够自动写出复杂的算法才真正学会了编程。在实践中,找到好的算法来优化程序一直是程序员面临的最大难题之一。该问题的解决方案可以辅助程序员设计算法,或者把程序看做形式化描述的问题本身,也可以自动优化写好的程序。
 
这个问题虽然较难,但不同领域的计算机科学家多年的积累已经给我们提供了解决该问题的基础。如果你也对该问题感兴趣,并且有兴趣在我的指导下攻读博士,可以先学习一下我的《软件分析技术》课中关于程序综合的三次课的内容,并简要学习如下三项内容之一:

学习之后欢迎和我讨论你关于做这个问题的思路。

因为这个课题对博士生要求较高,所以我会择优录取,宁缺毋滥。希望你能理解并不是学习了以上内容就一定会录取。当然,这些都是很通用的技术,我相信学习这些内容对于你未来开展计算机其他领域的研究也会有帮助。

期待收到志存高远、勇于挑战的你的来信!

熊英飞
2021年4月10日