update

html/note-to-prospective-students.html

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