一、基本情况
张晋津,男,1981年生,山西省临汾市人,计算机应用技术专业博士、副教授,现任南京审计大学信息工程学院副院长。
二、学习经历
2003年,山西大学毕业(本科);
2006年,南京航空航天大学计算机软件与理论专业研究生(获工学硕士);
2011年,南京航空航天大学计算机应用技术专业研究生(获工学博士)。
三、荣誉称号
2017年,入选江苏省青蓝工程青年骨干教师称号。
四、研究领域
主要研究理论计算机、软件工程中的形式化方法。先后在《Information and computation》和《Formal methods of system design》等发表了一系列重要论文。先后主持国家自然科学基金青年基金项目一项,国家自然科学基金天元基金项目一项,中国博士后基金面上项目一项,江苏省高校自然科学基金项目一项。