方徽星，男，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
0
0
0
0
宣传 
宣传 
宣传 
