贺飞，学者主页-中国科技论文在线

贺飞

模型检测的基础理论与算法实现，嵌入式系统及分布式系统的形式化建模与验证，组合优化算法设计与分析。

个性化签名

TA的关注(0) 关注TA的(0)

留言板

暂无留言

主页成果学术会议学者精选辑更多功能敬请期待

姓名：贺飞
目前身份：
担任导师情况：
学位：
学术头衔：
职称：-
学科领域：

计算机科学技术
研究兴趣：模型检测的基础理论与算法实现，嵌入式系统及分布式系统的形式化建模与验证，组合优化算法设计与分析。

个人简介

　贺飞，男，1998.09－2002.07，就读于国防科技大学计算机学院，获工学学士学位；2002.09－2008.01，就读于清华大学计算机系，获工学博士学位。2008年5月至今，任清华大学软件学院讲师。主要研究方向为形式化方法：模型检测的基础理论与算法实现、嵌入式系统及分布式系统的形式化建模与验证、优化算法：组合优化算法设计与分析。

个人主页：