导师辨识特征：在美国待了三十多年，英语还是吭哧瘪肚支支吾吾的，单复数和时态都分不清，如果当年托福考试有口语，来美国可能都困难。<br><br><br>学术水平：号称是系主任, 学术大师，但目前为止尚没有一篇引用量过200的文章，影响力可想而知。<br><br><br>学生前途：做软件证明和形式化方法，方向极其变态，冷门，无用，属于CS内部的劝退方向，找工业界工作极其困难，只有转行刷题一条路。<br><br>读了他的PhD，足以让你做不了踏踏实实的码农工作，但是又不足以让你胜任有创造性的学术工作，所以最后都只能沦为传销下线，继续用形式化方法忽悠不懂事的年轻人入坑，作冗长而无用的证明