选题与问题界定
围绕软件可靠性、程序分析、区块链、智能合约、可信软件判断研究问题是否可做、边界是否清楚，把宽泛方向收敛成可执行的研究目标。
Prof. Zheng
- 院校
- 985高校
- 专业
- 软件工程
- 学历
- 博士
研究方向
软件可靠性、程序分析、区块链、智能合约、可信软件
专家介绍
发表论文多篇，论文谷歌学术引用超过37,000次，H指数为89。主持国家重点研发计划项目、自然科学基金重点项目等多个项目； 担任TOSEM、TSC、TVT、OJCS等期刊的副编辑；担任ICSS2022、IEEE SMDS2021、BlockSys2019、CollaborateCom 2016等会议的General Co-Chair； 担任ICSOC2023、SC22019、ICIOT2018 及IoV2014等会议的PC Co-Chair。
通过个性化的指导，帮助每位学生找到适合自己的研究路径和方法； 鼓励学生参加学术会议和研讨会，让他们有机会展示自己的研究成果，并与同行交流。
公开页面采用脱敏身份与头像展示，具体专家匹配以咨询沟通、材料阶段和可公开资料为准。
可支持的项目
支持方式
方法与材料路径
结合软件工程常见研究范式，梳理文献、数据或案例材料的获取与组织方式，明确方法路线的取舍依据。
写作与规范对标
按目标期刊或学位论文要求核对结构、论证链条与格式规范，形成可逐条执行的修改清单。
审稿意见回应
把审稿与评审意见拆解为可执行的修改任务，明确回应口径、优先级以及需要补充的材料范围。
适用人群
- 正在推进软件工程方向学位论文或期刊投稿的研究生
- 需要研究方法与写作规范支持的高校教师、科研人员
- 希望把交叉方向的研究问题落到具体方案的跨学科研究者
常见问题
如何匹配到Prof. Zheng？
提交研究方向、当前阶段与目标（毕业、投稿或课题申报），学术顾问按方向吻合度与档期进行匹配，最终合作方向以沟通确认为准。
公开信息为什么采用脱敏展示？
页面仅展示经本人授权的脱敏身份、院校类型与研究方向，不公开真实姓名与具体单位，用于保护专家隐私。
可以支持软件工程方向的哪些阶段？
可介入选题与文献、研究设计、数据分析、写作修改与投稿前复核等阶段，具体支持范围在首次沟通时确认。
是否提供代写或录用保证？
不提供代写、代投与结果保证，只提供研究过程的方法支持与规范指导，论文成果由研究者本人独立完成。
