名称：张辰一

职称：教授

研究方向：计算机安全、形式化方法、程序分析

电邮：zhang_chen_1@sina.com

教育背景

2008年 博士毕业于新南威尔士大学

工作经历

2016年11月至今， 暨南大学:教授、博士生导师

2014年3月-2016年10月， Oracle研究所：开发主管（Principal member)

2010年9月-2014年2月，昆士兰大学/新南威尔士大学：讲师/研究员

2009年2月-2010年8月，卢森堡大学博士后

讲授课程

计算机安全专题(全英)

招生意向

希望报考学生具有计算机、数学等学科背景，有较好的英语听说读写能力，有一定的数学和编程基础，能刻苦钻研，必须对以下中的一项感兴趣：计算机安全、区块链、算法理论、计算生物学。