基本信息
浏览量:32
职业迁徙
个人简介
研究方向:
软件工程、软件方法及技术、形式化方法、定理证明
荣誉及奖励:
2017年 华东师范大学计算机科学与软件工程学院 优秀共产党员
2016年 华东师范大学 本科教学贡献奖
2009年 华东师范大学 实践创新优秀指导教师奖
2008年 华东师范大学 优秀思想政治教育工作者
2007年 华东师范大学 青年教师课堂大奖赛(理科组)二等奖
2006年 华东师范大学 2005年级学生军训优秀辅导员
2005年 华东师范大学 信息科学技术学院优秀党员
软件工程、软件方法及技术、形式化方法、定理证明
荣誉及奖励:
2017年 华东师范大学计算机科学与软件工程学院 优秀共产党员
2016年 华东师范大学 本科教学贡献奖
2009年 华东师范大学 实践创新优秀指导教师奖
2008年 华东师范大学 优秀思想政治教育工作者
2007年 华东师范大学 青年教师课堂大奖赛(理科组)二等奖
2006年 华东师范大学 2005年级学生军训优秀辅导员
2005年 华东师范大学 信息科学技术学院优秀党员
研究兴趣
论文共 41 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
CoRR (2023): 274-279
Atlantis Highlights in Computer Sciencespp.1640-1652, (2023)
引用0浏览0引用
0
0
Computational biology and chemistry (2023): 107844-107844
Journal of East China Normal University(Natural Science) (2022)
SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Metapp.1232-1238, (2022)
引用0浏览0EIWOS引用
0
0
2021 IEEE International Conference on Progress in Informatics and Computing (PIC)pp.29-33, (2021)
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn