名师简介
个人简介
陈镜超 1961 年出生。教授、博士生导师。 1990 年获日本北海道大学情报工学科博士学位。 2000 年 7 月 ~2002 年 1 月朗讯科技贝尔实验室中国基础研究院高级研究员。 2005 年、 2006 年管理、工程及信息国际学术会议（ MEI'05 and MEI'06 ）程序委员会成员， 06 年知识与交流国际学术会议（ KCC'06 ）程序委员会成员，国家自然科学基金评议员。 1997 年 ~2002 年期间曾先后多次短期赴波兰华沙大学、加拿大 Alberta 大学、日本信州大学做合作研究。 主要研究成果： 在形式化证明和排序算法方面有过一些新发现。第一个在 Mizar 系统上用形式化方法严格证明了快速排序算法和 Dijkstra 最短路径算法的正确性。为 C 语言标准函数库构建了一个命名为 Psort 的新排序函数。新排序函数要比已有的排序函数性能好，不仅速度快、健壮性好，而且有一定的自适应性。由于这些成果，曾先后在赴美国德州大学奥斯汀分校和英国剑桥大学做过学术报告。 主要研究方向： 算法分析与设计，排列组合与优化，自动演绎推理，网络通信，网络信息安全。
同校名师
网友关注
网友关注视频