请提供三位导致了现代计算机科学领域革命的人物，并以JSON格式输出。每位人物的描述为：姓名、生平简介、主要贡献。注意正确地使用JSON格式，包括引号。
user
{
  "人物": [
    {
      "姓名": "艾伦·图灵",
      "生平简介": "艾伦·图灵（1912-1954），英国数学家、逻辑学家，被誉为计算机科学之父。他在第二次世界大战期间为解码纳粹德国的加密通讯做出了重大贡献。",
      "主要贡献": "图灵机的概念、图灵测试、以及在密码学上的应用，奠定了现代计算理论的基础。"
    },
    {
      "姓名": "约翰·冯·诺依曼",
      "生平简介": "约翰·冯·诺依曼（1903-1957），匈牙利裔美国数学家，在计算机科学、量子力学等多个领域颇有建树。他是存储程序计算机架构的倡导者。",
      "主要贡献": "冯·诺依曼架构是现代计算机设计的基础，这种架构包括了中央处理器和内存，用于处理所有的计算和指令执行。"
    },
    {
      "姓名": "格蕾丝·霍珀",
      "生平简介": "格蕾丝·霍珀（1906-1992），美国海军中将及计算机科学家，是编程语言领域先驱之一。她参与发明了COBOL语言，一种早期的大型机程序设计语言。",
      "主要贡献": "她发明了第一个编译器并促进了机器独立性软件语言的发展，简化了计算机编程过程，使得非数学专业人员也能编写程序。"
    }
  ]
}
assistant