周青

周青，男，1952年1月生，湖南新化人，1992年畢業於美國明尼蘇達大學，中山大學軟體研究所副教授。

撰有《Hilog的悖論》(《計算機學報》1996第10期)、《關於程序驗證方法的討論》(《計算機科學》1995年第3期)、《程序正確性驗證的定義及方法》《(中山大學學報)1993年增刊》等。