http://link.springer.com/book/10.1007/11833529

张的一生只发过一篇真的论文, 那就是他在日本读博士的工作:

Yaoxue Zhang, K. Takahashi, N. Shiratori, and S. Noguchi. An Interactive
Protocol Synthesis Algorithm Using a Global State Transition Graph, IEEE Transactions on Software Engineering, 1988.

此人的吹牛水平比唐俊, 张阳德还要无耻 (好象都是湖南人)

按理说, 用他的透明计算的成果在清华评个教授都应该吃力, 居然评上了全汉人的一等奖. 明显是在诙辱汉人科技人员的智商会引起公愤.
这次物极比反. 张尧学快了.

此人的吹牛水平比唐俊, 张阳德还要无耻.