图灵奖是什么奖项 至今为止有多少位女性获得此奖 (关于比利时密码学图灵奖的信息)
图灵奖是什么奖项 至今为止有多少位女性获得此奖 (关于比利时密码学图灵奖的信息)
图灵奖时1966年由美国计算机协会设立，名字来自于著名的英国科学家——艾伦·麦席森·图灵。图灵奖地位相当于计算机界的诺贝尔奖，一般一年只授予一位计算机科学家，可见审核流程和要求极高。至今有三位女性科学家获得此奖。
可能因为女性天生对计算机的软硬件、编程不太感兴趣的原因吧，多年来计算机行业一直被男性垄断着，包括现在男程序员的数量也远远多于女性。图灵奖女性得主分别是2006年Frances E. Allen；2008年Barbara Liskov；2012年Shafi Goldwasser。下面分别介绍一下。
直至2006年，图灵奖首次授予女性——Frances E.Allen（法兰·艾伦），肯定她多年来在编译器设计和机器架构方面做出的努力。法兰·艾伦不仅是首位图灵奖女性获主，也是IBM历史上第一位女院士。退休后的，七十多岁的老奶奶依然兴趣不减，不仅继续探索自己喜爱的领域，而且不断鼓励女性从事计算机行业。她希望更多的女性加入到计算机行业，接触到更前沿、更新鲜的事物。
2008年，芭芭拉·利斯科夫（Barbara Liskov）成为世界上第二位获得图灵奖的女性得主，表彰她在计算机程序语言设计领域的研究成果。
2012年，莎菲·戈德瓦瑟（Shafi Goldwasser）是世界上第三位获得图灵奖的女性得主，肯定他们在密码学领域的贡献以及领先研究出有效验证机制的成果。
这两个人是非对称加密的创始人。.
开创了当时密码学新方向。
古典密码学是算法不公开，秘钥不公开。
香农时代之后密码学变成了秘钥不公开，算法公开。但是这样没有什么用。
非对称加密之前通讯是什么样子呢？
比如A国和A驻B国大使馆通讯。假定为A与a通讯。
因为没有秘钥，算法公开，现在通讯线路是被窃听的。所以没有办法传递涉密信息。
只能通过秘密渠道交换秘钥之后才能进行通讯。
但是这样没有办法满足实时通讯或者及时更新秘钥的需求。更没有办法适应大规模的通讯。
比如A国有200个国家的大使馆，那么这201个地方相互通讯需要的通讯秘钥是200*199/2约2W个秘钥。秘钥的更新和秘密传递代价太大。
而有了非对称加密之后只要201个秘钥就行了。每个消息传递同时可控，秘钥更新也是很方面的。
比如有了非对称之后A和a的通讯过程是这样的。
A的公开秘钥是A‘，a的公开秘钥是a'
A给a发消息。发送f（加密算法)（message,a’）a收到之后解密为message，发送f（加密算法)（message确认,A’）就行了。然后双方可以使用message确认作为秘钥进行通讯。
非对称的建立简化了秘钥交换过程，加强了双方的身份识别。是密码学跨时代的进步。
主要贡献：
1、提出“图灵测试”概念
“图灵测试”指测试者与被测试者（一个人和一台机器）隔开的情况下，通过一些装置（如键盘）向被测试者随意提问。
进行多次测试后，如果有超过30%的测试者不能确定出被测试者是人还是机器，那么这台机器就通过了测试，并被认为具有人类智能。
图灵测试一词来源于计算机科学和密码学的先驱艾伦·麦席森·图灵写于1950年的一篇论文《计算机器与智能》，其中30%是图灵对2000年时的机器思考能力的一个预测，目前我们已远远落后于这个预测。
图灵预言，在20世纪末，一定会有电脑通过“图灵测试”。2014年6月7日在英国皇家学会举行的“2014图灵测试”大会上，举办方英国雷丁大学发布新闻稿。
宣称俄罗斯人弗拉基米尔·维西罗夫（Vladimir Veselov）创立的人工智能软件尤金·古斯特曼（Eugene Goostman）通过了图灵测试。
虽然“尤金”软件还远不能“思考”，但也是人工智能乃至于计算机史上的一个标志性事件。
2、图灵机
图灵机是由图灵在1936年提出的，它是一种精确的通用计算机模型，能模拟实际计算机的所有计算行为。
所谓的图灵机就是指一个抽象的机器，它有一条无限长的纸带，纸带分成了一个一个的小方格，每个方格有不同的颜色。有一个机器头在纸带上移来移去。
机器头有一组内部状态，还有一些固定的程序。在每个时刻，机器头都要从当前纸带上读入一个方格信息，然后结合自己的内部状态查找程序表，根据程序输出信息到纸带方格上，并转换自己的内部状态，然后进行移动。
3、人工智能
1949年，图灵成为曼切斯特大学（University of Manchester ）计算实验室的副院长，致力研发运行Manchester Mark 1型号储存程序式计算机所需的软件。
1956年图灵的这篇文章以“机器能够思维吗？”为题重新发表，此时，人工智能也进入了实践研制阶段。图灵的机器智能思想无疑是人工智能的直接起源之一。
而且随着人工智能领域的深入研究，人们越来越认识到图灵思想的深刻性：它们如今仍然是人工智能的主要思想之一。
4、树立生物学
从1952年直到去世，图灵一直在数理生物学方面做研究。他在1952年发表了一篇论文《形态发生的化学基础》(The Chemical Basis of Morphogenesis)。
他主要的兴趣是斐波那契叶序列，存在于植物结构的斐波那契数。他应用了反应-扩散公式，如今已经成为图案形成范畴的核心。他后期的论文都没有发表，一直等到1992年《艾伦·图灵选集》出版，这些文章才见天日。
5、判定问题
1937年，图灵用他的方法解决了著名的希尔伯特判定问题：狭谓词演算(亦称一阶逻辑)公式的可满足性的判定问题。
他用一阶逻辑中的公式对图灵机进行编码，再由图灵机停机问题的不可判定性推出一阶逻辑的不可判定性。他在此处创用的“编码法”成为后来人们证明一阶逻辑的公式类的不可判定性的主要方法之一。
在判定问题上，图灵的另一成果是1939年提出的带有外部信息源的图灵机概念，并由此导出“图灵可归约”及相对递归的概念。
运用归约和相对递归的概念，可对不可判定性与非递归性的程度加以比较。在此基础上，E．波斯特(Post)提出了不可解度这一重要概念，这方面的工作后来有重大的进展。
参考资料来源：百度百科——艾伦·麦席森·图灵
