吉林大学博士研究生导师介绍：金成植
姓 名：金成植性别：男出生年月：1935-0-0工作单位：吉林大学所在院系：计算机科学与技术学院职称：教授行政职务：招生专业：081202计算机软件与理论研究领域：程序理论、软件形式化和软件新技术的研究，在编译技术、形式语义学、程序
作者
佚名
次阅读2005-09-14
|
姓 名：
|
金成植 |
性别：
|
男 |
|
出生年月：
|
1935-0-0 |
工作单位：
|
吉林大学 |
|
所在院系：
|
计算机科学与技术学院 |
职称：
|
教授 |
|
行政职务：
|
招生专业：
|
081202计算机软件与理论 | |
|
研究领域：
|
程序理论、软件形式化和软件新技术的研究，在编译技术、形式语义学、程序分析及Monad理论与技术方面 |
是否兼职：
|
否 |
|
指导博士生总数：
|
指导硕士生总数：
|
||
|
目前博士生数：
|
目前硕士生数：
|
| 个人简介 | |
|
| 著作及论文 | ||
|
吉林大学相关信息：
吉林大学论坛新帖：更多
- 2019-03-222016吉林大学考研复试经验汇总
- 2017-07-1720考研之吉林大学精华经验真题汇总【入版必看】
- 2022-04-12841管理学原理和846管理学真题经验，企业管理会计学管科
- 2021-04-14吉林大学哲学专业考研真题（2001-2017）
- 2021-04-132017吉林大学政治学理论专业课真题（个人回忆版）
- 2021-03-1819吉林大学日语语言文学经验贴
- 2021-03-142019吉林大学中国古代文学考研初试复试经验交流
- 2021-02-26吉大马院经验贴（初试+复试）
- 2020-07-1919吉大心理学第一考研经验【纯干货无任何辅导班因素】
- 2020-06-0519届古文字专业考试
考研帮最新资讯更多
