update

html/note-to-prospective-students.html

@@ -56,7 +56,7 @@ <h3 id="section1.1">1.1 基础/背景知识</h3>
 </ul>
 
 <h3 id="section1.2">1.2 主要研究方向</h3>
-<p>总的来说：程序分析与验证、程序合成与自动推理</p>
+<p>总的来说：编程语言，包括程序分析与验证、程序合成与定理证明</p>
 <ul>
   <li><strong>从目的上</strong>：有"狭义"的安全（主要是软件安全，侧重内存安全、信息流安全），也有广义的可靠性（如鲁棒性、功能正确性等)，以及性能（和编译优化类似），乃至代码重构等
     <ul>