方徽星,男,1983年10月出生,工学博士。2002年9月至2006年6月就读云南大学计算机科学与技术专业,获学士学位;2006年7月至2010年6月,任职上海南天电脑系统有限公司,从事软件开发工作;2010年9月至2016年6月就读华东师范大学软件工程专业(硕博连读),获博士学位;2016年05月至2017年7月,在国家可信嵌入式软件工程技术研究中心担任专任助理研究员,参与嵌入式工具软件开发和研究生培养工作;2017年9月至2019年2月,在扬州大学信息工程学院担任讲师,主讲本科生《编译原理》、《软件质量保障与测试》、《C语言程序设计》及研究生《形式化分析与验证》等课程;2019年3月入职黄山学院,主讲本科生《算法设计与分析》、《计算机网络编程》、《面向对象程序设计I》、《C语言程序设计》、《专业英语》、《Android应用开发》等课程。主要研究方向为形式化方法,主持江苏省高校自然科学基金面上项目、黄山学院校级人才启动项目各一项,发表论文十余篇。
评论 (0条)