从事计算复杂性理论、密码学以及程序校验的中国科学家有谁

基本没有，你要是说个轻量级的人物还可以，直接拿Blum出来，估计只有Andrew C.Yao能与他差不多了。

如果只是说研究方向的话，没有和blum非常像的，在国内的，我知道复旦的赵运磊做零知识不错的。Yao也作复杂性。