吉林大学博士研究生导师介绍:金成植
更新时间:2024-03-29 21:10:27姓 名: | 金成植 | 性别: | 男 |
出生年月: | 1935-0-0 | 工作单位: | 吉林大学 |
所在院系: | 计算机科学与技术学院 | 职称: | 教授 |
行政职务: | 招生专业: | 081202计算机软件与理论 | |
研究领域: | 程序理论、软件形式化和软件新技术的研究,在编译技术、形式语义学、程序分析及Monad理论与技术方面 | 是否兼职: | 否 |
指导博士生总数: | 指导硕士生总数: | ||
目前博士生数: | 目前硕士生数: |
个人简介 | |
|
著作及论文 | ||
|
- 2017-01-10【导师介绍】中南大学黄健陵
- 2016-10-26【导师介绍】浙江大学计算机科学与技术专业导师个人简介:王章野
- 2016-10-26【导师介绍】复旦大学生命科学学院霍克克博导个人简介
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:陈熙霖
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:何军
- 2015-05-08【导师介绍】中国人民大学信息学院计算机应用技术导师介绍:许伟
网友关注
- 【导师介绍】2016考研翻译硕士时文翻译: 共绘世界经济增长新蓝图(1)
- 【导师介绍】2016考研翻译硕士散文翻译素材积累(3)
- 【导师介绍】2017考研新闻传播硕士备考手册
- 【导师介绍】2016考研翻译硕士时文翻译: 共绘世界经济增长新蓝图(2)
- 【导师介绍】2016考研翻译硕士散文翻译素材积累(1)
- 【导师介绍】2016考研资产评估硕士计算题荟萃(一)
- 【导师介绍】2017法硕考研:五大科目该怎么复习?
- 【导师介绍】2016考研翻译硕士:散文翻译技巧
精品推荐
- 2021考研管综逻辑300道推理题及答案(21)
- 2020考研管理类联考综合全国硕士研究生考试试题及答案(网友版)
- 2020考研管综逻辑演绎推理类型试题及答案解析(查字典考研网版)
- 2020考研管综逻辑分析推理类型试题及答案解析(查字典考研网版)
- 2020考研管综初等数学算术部分试题解析及往年对比
- 2020考研管综初数条件充分性判断部分试题答案及解析(查字典考研网版)
- 2020考研管理类联考初数问题求解部分试题答案及解析(查字典考研网版)
- 2020考研管综初等数学数据分析部分试题解析及往年对比
- 2020考研管综初等数学平面图形部分试题解析及往年对比
- 2020考研管综初等数学空间几何体部分试题解析及往年对比