[PL/FM PhD] 冷门方向CS PhD求定位，编程语言或形式化方向~

已发表的ccf b是VMCAI
预计下个月会投FMCAD（ccf c）
形式化方向同行太少了，找不到数据点。。。
目前考虑是主申Program Analysis & Verification，研究生期间做的和Symbolic Execution有很大关系。