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