diff --git a/html/note-to-prospective-students.html b/html/note-to-prospective-students.html
index 3cc6ae9..cbdaf99 100644
--- a/html/note-to-prospective-students.html
+++ b/html/note-to-prospective-students.html
@@ -108,7 +108,7 @@
1.3 是否对数学要求很高
1.4 相关方向/老师
- - "广义/大方向"上相关的老师挺多的,比如软件分析与测试(软件工程领域)、软件与系统安全(安全领域)、程序验证(形式化领域)、定理证明(“美式”理论CS领域)等相关方向的老师。所用的技术也有一些交集(比如静态分析、约束求解)
+ - "广义/大方向"上相关的老师挺多的,比如软件分析与测试(软件工程领域)、软件与系统安全(安全领域)、程序验证(形式化领域)、定理证明(“欧式”理论CS领域)等相关方向的老师。所用的技术也有一些交集(比如静态分析、约束求解)
- 偏向编程语言的(即便是分析&验证&合成),国内相对比较少,如https://csrankings.org/#/index?none&cn
@@ -211,7 +211,7 @@ 4. 其他问题
4.1 招生标准
- 喜欢编程, 对以上提到某个研究方向有兴趣, 或者只是对编译器、操作系统,或各种代码分析工具的原理感兴趣(不要求有相关的项目/比赛/科研实践经历)
- - 加分项: 编程能力强(有较复杂软件的编程经历); 数理能力强(如在数学/算法竞赛中表现出色)
+ - 加分项: 编程能力强(如有较复杂软件的编程经历); 数理能力强(如在数学/算法竞赛中表现出色)
对以上内容有疑问/困惑/..., 或者关于招生指标、硕/博士待遇等其他各种问题,欢迎微信私聊或者面谈(本校学生玉泉/西溪/紫金港/萧山/..均可)(关于微信:可先联系 pyaoaa@zju.edu.cn或其他可能认识我的同学,谢谢!!!)