Z

公开评价概览

评价数

1

均分

— 分

点赞/踩

0 / 0

学生评价

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