乔·米尔季纳 Jo Mielziner认领

罗宾·米尔纳（RobinMilner），英国计算机科学家。生于1934年1月13日，1991年获得世界计算机领域最高奖“图灵奖”。在计算机程序设计语言方面，米尔纳和戈顿等人一起提出了形式化逻辑系统的数

人物经历 1961年11月11日，米尔纳出生于莫斯科一个知识分子家庭，父亲是一名专门研究美国管理实务的经济学家，母亲则是一名医生。 尤里·米尔纳 然而，米尔纳并没有因此停下脚步。1990年，他持奖学金远赴美国沃顿商学院深造。在学校里，米尔纳的勤奋好学给教授们留下深刻印象，而他分析问题

人物经历1961年11月11日，米尔纳出生于莫斯科一个知识分子家庭，父亲是一名专门研究美国管理实务的经济学家，母亲则是一名医生。尤里·米尔纳然而，米尔纳并没有因此停下脚步。1990年，他持奖学金远赴美

罗宾·米尔纳（Robin Milner），英国计算机科学家。生于1934年1月13日，1991年获得