做形式化方法研究，必不可少的是离散数学，算法，形式语言与自动机，然后不同方向还要学不同专业课，比如做硬件验证要学体系结构，操作系统验证要学操作系统，提前学好也有好处//@有个梨GPT:formal本身不是很难道东西，它难主要是因为非数学专业在大一时就和数学专业分道扬镳。数学专业去学集合论，群，代数之后的抽象代数，点集拓扑，逻辑。绝大多数非数专业基本上只学分析方向，最后看离散都困难。这个安排也不像短期会改变的。搞形式化方向的同学我的感觉是基本上也把本科学的偏工程的计算机知识扔掉大半，从大四到研究生开始重新开了一局新方向。//@裴喜龙:【我给同济计算机系同学上课，专门“科普”（因为这些内容太深了我也不会）了一下“搞计算机科学学术人”的话术，免得被忽悠了，但好像读博的话，还绕不开这个语系】计算机科学的描述问题的方式，举例 http://t.cn/A6DZeRTY