日本琦玉大学程京德教授来我校开展系列讲座

    受我校计算机科学与技术学院邀请，日本琦玉大学程京德教授于2014年3月14日至3月17日访问我校，并开展了围绕软件工程和知识工程的系列讲座。本次学术活动在明故宫校区举行，由周宇副教授主持，黄志球教授参加报告会并致欢迎词，来自全校不同院系的研究生认真聆听了报告。

    讲座分为四个部分，谈及了旨在增强系统可靠性的持续计算、相关逻辑推理，高级软件工程所面临的新挑战以及计算机科研指导及论文写作等方面。结合我院的航空特色背景，程教授特别提到Ada程序设计的一些优点和Ada2012的新增特性，程老师知识渊博，逻辑清晰，观点新颖，谈吐幽默，开阔了大家的视野。

 

　　　
    程京德教授简历：

    1982年7月毕业于清华大学计算机科学与技术系，获工学学士学位； 1986年3月和1989年3月分别毕业于日本国立九州大学研究生院工学研究科硕士课程和博士课程，获工学硕士学位和工学博士学位。1982年7月任清华大学计算机科学与技术系助教； 1989年4月任日本国立九州大学工学部信息工程学科助教； 1991年1月任日本国立九州大学工学部信息工程学科副教授； 1996年5月任日本国立九州大学信息科学与电气电子工程研究科信息工程学科教授（全日本国立大学中第一位外国人教授）；1999年4月至今任日本国立琦玉大学理工学研究科信息系统工程学科教授，主持先进信息系统工程实验室。ACM高级会员。研究领域涵盖软件工程，知识工程，信息安全性工程，相关逻辑。多次获得国际会议最佳论文奖。作为PI主持日本政府文部省及学术振兴会科研费项目11项以及民间财团科研费项目13项，作为主要参加者参与日本政府文部省及学术振兴会科研费项目7项以及民间财团科研费项目多项。