谢谢关注我和我们的研究小组。如果你希望了解或是想加入我们研究小组，请阅读下面内容，以了解更多信息。

一些背景介绍

华东师范大学软件工程专业在国内排名是比较靠前的，在2023、2022在中国最好学科排名（软件工程）中排全国前三。我们在CSranking排名（软工+逻辑验证+程序语言方向）中国排名第7。华东师范大学地处上海，生活教育工作人文环境较好、交通便利。

关于研究生招生

如果你是想申请研究生（硕士生或者博士生）加入我们小组，那么常见的几种申请方式，包括：1. 参加我们学院的夏令营（每年7月份左右），2. 研究生推免（每年9月份左右），3. 通过考研/考博，4. 硕士转博士（主要面向本学院的在读学术型硕士生）。

如果你想介绍下自己并想了解我们小组，可直接邮件联系我：

- 请在邮件中附上你的简历，并说清楚你希望申请的是哪种类型的研究生（专业硕士/学术硕士/直博/硕转博）。

- 请在邮件中简要描述下自己觉得最突出的经历（比如负责/参加的科研/工程项目、实习经历、发起/维护的开源项目等）。在招生期，我可能会收到不少同学的来信，如果你能突出你的强项，那我第一眼就能注意到你。

（btw:如果我没有当天就回复你邮件，不要着急，也不要以为我直接忽略了你。有时候我正好这段时间事情会比较多，收到邮件后不一定能当天回复，晚1-2天回复是正常的；如果过了一周我还没回，你可以再发下邮件提醒我下）

关于研究方向和培养方式

很多时候，大家是以本科生身份直接申请读研究生的，除非自己在本科期间参与到导师的一些科研项目中或者和研究生师兄师姐有过交流，一般对研究生生涯认识不一定全面。所以，我建议：

（1）你可以大概读一读我们研究小组之前发表过的研究论文和研究工具，了解下我们正在开展的一些研究（读不懂也是正常的，主要知道在做些啥，这样你也好判断是否可能是你感兴趣的）；

由于研究论文列表中只给出了我们已经发表的工作，我们其实也有很多正在进行中的研究工作（部分列举如下）：

移动应用软件的功能正确性测试与验证，即如何自动化地发现软件中的功能缺陷，这里涉及到了大模型技术、程序分析技术、基于性质测试等

网络协议的二进制逆向分析、模糊测试、安全漏洞挖掘等，这里涉及到了程序分析技术、污点分析技术等

基于符号执行和模糊测试的约束求解研究

静态分析工具漏报、误报问题的研究，涉及到程序约简技术等

编译器优化问题的研究

操作系统的安全测试问题研究

（2）如果你对某个方向已经有研究的兴趣，但是没在我们的论文列表中出现，也不要紧，你可以联系下我，看看是否我也感兴趣，说不定因为有了你的加入，我们研究小组在这个方向将有新的突破 :)；

（3）在研究生期间，一方面你将接受科研思维的训练（理论知识），另一方面也将接受工程能力的训练（动手实践），只要你对我们小组做的工作大方向感兴趣，总能找到和你兴趣匹配的方向，所以，不用在一开始纠结具体的研究方向会是什么，也不要担心学了理论的东西不好就业（在学习的过程中，你慢慢也会找到自己感兴趣的方向）。

（4）我们会有每周的小组讨论、定期的讨论班和学术沙龙等。对于博士生或者优秀的硕士生，我们会选派到国外顶尖大学访问交流。

（5）你看下我们小组的成员信息，甚至可以联系他们，从他们那里了解更多信息。

如果你是想通过本科夏令营申请硕士或者博士

特别欢迎通过本科夏令营的方式申请硕士或者博士。过去几年，我招收了来自大连理工、西北工大、吉林大学等top985学校的同学，非常优秀，他们进组后，都表现出色。华师大本院学生也可以申请夏令营哦~

如果你是想通过保研进入到我们小组

特别希望你能提前进组学习一段时间（比如3-6个月时间），帮助我们能深入互相了解下。我们可以提供一些研究课题让你提前了解科研是怎么样的。

如果你是华师大的本科生

特别欢迎我们学院的本科生加入到我们研究小组（除去上课时间外，最好能有1-2天的时间可以投入到科研中）。在过去几年内有多位本科生在我们小组做研究和学习，这些同学在本科毕业后都选择了直接攻读博士、保送硕士、或者出国读研究生，他们表现都非常优异。

毕业去向

组里的同学毕业去向都很不错，大家可以看下成员信息。

我的期望

希望你做事态度认真，脚踏实地，做事情能善始善终，积极乐观；有良好的编码能力、文献阅读能力（英文）。如果你对科研或者技术有自己的热情就更好了。