近日,美国计算机科学家王胜天成为中国第一位获得图灵奖的华人。图灵奖是计算机科学界最高奖项之一,被誉为“计算机界的诺贝尔奖”。
王胜天教授现年74岁,他的主要成就是创建了现代定理证明和验证的领域,对计算机软件和硬件的正确性起了至关重要的作用,为人工智能以及信息安全领域打下了坚实的基础。
王胜天教授毕业于清华大学,曾任职于普林斯顿大学,斯坦福大学和康奈尔大学教授。他还是美国国家工程院院士、美国科学院院士、英国皇家学会外国院士等多个知名组织的成员。
近日,美国计算机科学家王胜天成为中国第一位获得图灵奖的华人。图灵奖是计算机科学界最高奖项之一,被誉为“计算机界的诺贝尔奖”。
王胜天教授现年74岁,他的主要成就是创建了现代定理证明和验证的领域,对计算机软件和硬件的正确性起了至关重要的作用,为人工智能以及信息安全领域打下了坚实的基础。
王胜天教授毕业于清华大学,曾任职于普林斯顿大学,斯坦福大学和康奈尔大学教授。他还是美国国家工程院院士、美国科学院院士、英国皇家学会外国院士等多个知名组织的成员。