U.S.-Germany Cooperative Research: A Formal Methods Tool Suite for Education

美德合作研究：教育的正式方法工具套件

• 批准号: 0128838
• 负责人: Jeannette Wing
• 金额: $ 1.87万
• 依托单位: Carnegie-Mellon University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2002
• 资助国家: 美国
• 起止时间: 2002-03-01 至 2005-02-28
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0128838&HistoricalAwards=false
• 关键词: U.S.; Germany; Cooperative; Research; Formal

0129163RainesThis award supports Ronald Raines and students from the University of Wisconsin-Madison in a collaboration with Renate Ulbrich-Hofmann of the Department of Biochemistry and Biotechnology at the University of Leipzig, Germany. The aim of the international project is to use intein-mediated protein ligation to create semisynthetic variants of ribonuclease A. These variants will be produced by the US group and studied with respect to their thermodynamic and proteolytic stability by methods established in the German group. The results will provide new insight into protein-folding pathways and the fundamental basis for protein stability, and ultimately lead to the creation of new proteins with desirable properties. The work plan provides for extensive participation by graduate students in the international travel and research.

0129163Raines该奖项支持Ronald Raines和威斯康星大学麦迪逊分校的学生与德国莱比锡大学生物化学和生物技术系的Renate Ulbrich-Hofmann合作进行的研究。国际项目的目的是利用内部介导的蛋白质连接来创建核糖核酸酶a的半合成变体。这些变体将由美国小组生产，并通过德国小组建立的方法研究其热力学和蛋白水解稳定性。该结果将为蛋白质折叠途径和蛋白质稳定性的基本基础提供新的见解，并最终导致具有理想特性的新蛋白质的创造。工作计划规定研究生广泛参与国际旅行和研究。