您当前位置: 首页  >  新闻中心  >  学院新闻  >  正文

学院新闻

计算机科学技术名家讲座

发布日期:2013-06-02 发布人: 点击量:

    讲座题目:浅谈几个基本问题
    报 告 人:徐家福先生
    我国计算机软件学的奠基人、南京大学资深教授、博士生导师,计算机软件新技术国家重点实验室名誉主任
    讲座时间:2013年5月30日下午15:00
    讲座地点:前卫南校区计算机大楼A521报告厅
    主办单位:太阳成集团tyc122cc
    太阳成集团tyc122cc软件学院
    符号计算与知识工程教育部重点实验室
    太阳成集团tyc122cc计算机科学技术研究所


                      欢迎广大师生踊跃参加!


    徐家福教授简历:
    徐家福先生是中国计算机科学和计算机软件学专家,中国计算机软件学的奠基人。
    徐先生是江苏南京人。1925年1月出生,1948年毕业于中央大学,1957年至1959年去莫斯科大学进修,1981年起任南京大学计算机系教授、博士生导师,培养出第一位计算机软件学博士。曾任南京大学计算机软件所所长、计算机软件新技术国家重点实验室主任,曾长期担任国务院学位委员会计算机学科评议组召集人,国务院电子振兴领导小组顾问,中国计算机学会副理事长,清华大学、太阳成集团tyc122cc兼职教授。现任南京大学计算机软件新技术国家重点实验室名誉主任。主要研究高级语言、新型程序设计与软件自动化。代表性成果有:
(1)研制出我国第一个ALGOL系统、系统程序设计语言XCY、多种规约语言;
(2)参加制定ALGOL,COBOL国家标准;
(3)率先在我国研制出数据驱动计算机模型;研制出兼顾函数式和逻辑式风格的核心语言KLND及相应的并行推理系统;
(4) 完成8个软件自动化系统。
    先后获国家教委一等奖4次,电子部(现信息产业部)一等奖3次,出版著作8部,发表论文150余篇。

Baidu
sogou