张辰一
教授
所属大学: 暨南大学
所属学院: 信息科学技术学院/网络空间安全学院
个人简介
教育背景 2008年 博士毕业于新南威尔士大学
工作经历 2016年11月至今， 暨南大学:教授、博士生导师 2014年3月-2016年10月， Oracle研究所：开发主管（Principal member) 2010年9月-2014年2月，昆士兰大学/新南威尔士大学：讲师/研究员 2009年2月-2010年8月，卢森堡大学博士后
研究领域
计算机安全、形式化方法、程序分析
所属大学: 暨南大学
所属学院: 信息科学技术学院/网络空间安全学院
教育背景 2008年 博士毕业于新南威尔士大学
工作经历 2016年11月至今， 暨南大学:教授、博士生导师 2014年3月-2016年10月， Oracle研究所：开发主管（Principal member) 2010年9月-2014年2月，昆士兰大学/新南威尔士大学：讲师/研究员 2009年2月-2010年8月，卢森堡大学博士后
计算机安全、形式化方法、程序分析