首页
院校信息
录取调剂
考研时讯
招考资讯
专业硕士
公共课复习
专业课复习
考试大纲
资源共享
我的考研
考研调剂
考研问答
历年真题
请输入您要查询的关键词
查字典考研网
>>
院校信息
>>
导师介绍
>> 吉林大学博士研究生导师介绍:金成植
吉林大学博士研究生导师介绍:金成植
考研时间
: 2005-09-14
来源
:查字典考研网
姓 名:
金成植
性别:
男
出生年月:
1935-0-0
工作单位:
吉林大学
所在院系:
计算机科学与技术学院
职称:
教授
行政职务:
招生专业:
081202计算机软件与理论
研究领域:
程序理论、软件形式化和软件新技术的研究,在编译技术、形式语义学、程序分析及Monad理论与技术方面
是否兼职:
否
指导博士生总数:
指导硕士生总数:
目前博士生数:
目前硕士生数:
个人简介
金成植 男,1935年生,教授、博士生导师。从1961年开始从事计算机软件的教学和科研工作,并一直从事程序理论、软件形式化和软件新技术的研究,在编译技术、形式语义学、程序分析及Monad理论与技术方面有较高的造诣。
著作及论文
曾出版过《程序设计语言》、《编译器构造原理和实现技术》和《程序理论和技术》等8部著作。承担并负责国家自然科学基金项目和教委博士点基金项目4项,在国内外学术刊物和学术会议上发表论文30余篇。
点击显示
上一页
1
2
下一页
上一篇:吉林大学博士研究生导师介绍:周云轩
下一篇:吉林大学博士研究生导师介绍:赵淑芝
推荐文章
猜你喜欢
附近的人在看
推荐阅读
拓展阅读
当前热点关注
北京邮电大学研究生院导师信息:陈谊
湖南人文科技学院2012年硕士研究生导师简介(三)
北京大学国家发展研究院研究生导师介绍:黄卓
哈尔滨工业大学研究生院导师信息:张海刚
宁夏大学研究生院导师信息:李陇堂
北京体育大学研究生院导师信息:赵钢
南昌大学研究生院导师信息:严智龙
中国人民大学公共管理学院土地资源管理导师介绍:甘藏春
大家都在看
小编推荐
猜你喜欢
长春师范大学简介
延边大学硕士点学位介绍:儿科学
延边大学硕士点学位介绍:生理学
延边大学硕士点学位介绍:药理学
延边大学硕士点学位介绍:世界史学
高校导航:延边大学校园平面图
延边大学研究生招生办公室联系方式
延边大学硕士点学位介绍:护理学
延边大学硕士点学位介绍:麻醉学
延边大学硕士点学位介绍:亚非语言文学
长春师范大学2014年共拟招65名硕士研究生
延边大学硕士点学位介绍:教育管理
院校巡礼:长春师范大学简介
延边大学硕士学位点介绍:教育学原理
延边大学硕士点学位介绍:动物营养与饲料科学
延边大学硕士点学位介绍:汉语言文字学
延边大学硕士点学位介绍:国际政治
延边大学硕士点学位介绍:药物化学
延边大学硕士点学位介绍:比较文学与世界文学
延边大学硕士点学位介绍:外科学
中国研究生培养单位概况:延边大学
长春师范学院2012年考研查分信息
延边大学硕士点学位介绍:内科学
延边大学硕士点学位介绍:眼科学
长春师范学院外国语学院介绍
延边大学硕士点学位介绍:药剂学
延边大学硕士点学位介绍:病原生物学
延边大学校园风光
长春师范大学研究生院联系方式
延边大学2010年硕士研究生报名日程