update

html/note-to-prospective-students.html

@@ -61,7 +61,7 @@ <h3 id="section1.2">1.2 主要研究方向</h3>
   <li><strong>从目的上</strong>：有"狭义"的安全（主要是软件安全，侧重内存安全、信息流安全），也有广义的可靠性（如鲁棒性、功能正确性等)，以及性能（和编译优化类似），乃至代码重构等
     <ul>
       <li>之前做的比较通用（对领域场景限制较少）。个人目前想适当多结合<strong>密码学</strong>相关的（不强求每个学生都一起"探索"）</li>
-      <li>不要求学生都做安全相关(比如也可以做广义的可靠性，或者性能，或者提升程序员生产力的其他方法)</li>
+      <li><strong>不要求学生都做安全相关</strong>(比如也可以做广义的可靠性，或者性能，或者提升程序员生产力的其他方法)</li>
     </ul>
   </li>
   <li><strong>从方法上</strong>：既有比较偏基础理论/算法的，也有比较偏上层应用的
@@ -92,7 +92,7 @@ <h3 id="section1.3">1.3 是否对数学要求很高</h3>
   <li>同方向（大&&小方向）有的可能用比较复杂一些的数学，比如量子程序验证(PS：量子程序验证很多也没用太复杂的数学，比如不用懂量子力学之类的。。)、type theory(偏向纯数理逻辑，已经超出PL了，和type system不太一样)? 
     <strong>其实总体我用的要求不高（即便是偏基础算法的那块。。）</strong></li>
   <li>目前有两块。一块是处理代码。偏安全、性能和编译原理课程有些交集(主要是中端的一些，其他部分“没学好”也可以的:)。 偏正确性的和离散数学有些交集。很多在于对被处理对象/程序的理解、然后基于理解做些"hack"， 算法本身不会多复杂。另一块是对逻辑约束的处理，这里可以做得比较深，但是也有相对简单的</li>
-  <li><strong>结论: 对数学要求不算高!(当然也有机会用比较"高级"的数学)</strong></li>
+  <li><strong>结论: 对数学要求不高!(当然也有机会用比较"高级"的数学)</strong></li>
 </ul>
 
 <h3 id="section1.4">1.4 相关方向/老师</h3>