导师简介——张晋津

发布时间:2018-09-24浏览次数:12

一、基本情况

张晋津,男,1981年生,山西省临汾市人,计算机应用技术专业博士、副教授,现任南京审计大学信息工程学院副院长。

二、学习经历

2003年,山西大学毕业(本科);

2006年,南京航空航天大学计算机软件与理论专业研究生(获工学硕士);

2011年,南京航空航天大学计算机应用技术专业研究生(获工学博士)。

三、荣誉称号

2017年,入选江苏省青蓝工程青年骨干教师称号。

四、研究领域

主要研究理论计算机、软件工程中的形式化方法。先后在《Information and computation》和《Formal methods of  system  design》等发表了一系列重要论文。先后主持国家自然科学基金青年基金项目一项,国家自然科学基金天元基金项目一项,中国博士后基金面上项目一项,江苏省高校自然科学基金项目一项。