QCIS-FF: A Software Stack for Quantum Computing
QCIS-FF:量子计算软件堆栈
基本信息
- 批准号:1926648
- 负责人:
- 金额:$ 75万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:2020
- 资助国家:美国
- 起止时间:2020-07-01 至 2025-06-30
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
Quantum computers have emerged quickly and quantum supremacy is around the corner. The quantum hardware is getting better but quantum software is lacking behind. We need the same kinds of software tools that enable quick and reliable programming of traditional computers. Indeed, for quantum computing to be successful, we need an entire software stack of programming languages, compilers, and verification tools. This award is made to hire a faculty member who will spearhead multi-disciplinary research on building such a software stack for quantum computing.The UCLA Computer Science department includes three research groups that each will contribute to the effort spearheaded by the new faculty member. The first group is focused on cryptography and machine learning, the second on software systems, and the third on design automation and customization. These areas will be key to building a software stack for quantum computing. The goal is to integrate the new faculty member into the department in a way that interfaces naturally with all three groups. The broader context at UCLA is the Center for Quantum Science and Engineering which is the focal point for research and education in quantum science. The new faculty member will teach three courses on quantum computing annually.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
量子计算机已经迅速出现,量子霸权即将到来。量子硬件越来越好,但量子软件却落后了。我们需要同样的软件工具,使传统计算机的快速和可靠的编程。事实上,为了量子计算的成功,我们需要一整套编程语言、编译器和验证工具的软件栈。该奖项是为了聘请一名教师,他将带头进行多学科研究,为量子计算构建这样的软件栈。加州大学洛杉矶分校计算机科学系包括三个研究小组,每个小组都将为新教师带头的努力做出贡献。第一组专注于密码学和机器学习,第二组专注于软件系统,第三组专注于设计自动化和定制。这些领域将是构建量子计算软件栈的关键。我们的目标是将新的教师融入到部门的方式,自然地与所有三个组接口。加州大学洛杉矶分校更广泛的背景是量子科学与工程中心,这是量子科学研究和教育的焦点。这位新教师每年将教授三门量子计算课程。该奖项反映了NSF的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Todd Millstein其他文献
Todd Millstein的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Todd Millstein', 18)}}的其他基金
Collaborative Research: SHF: Small: Data-Driven Lemma Synthesis for Interactive Proofs
协作研究:SHF:小型:交互式证明的数据驱动引理合成
- 批准号:
2220891 - 财政年份:2022
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
FMitF: Opening Up the Black Box of Probabilistic Program Inference
FMITF:打开概率程序推理的黑匣子
- 批准号:
1837129 - 财政年份:2018
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
NeTS: Medium: Collaborative Research: Network Configuration Synthesis: A Path to Practical Deployment
NeTS:媒介:协作研究:网络配置综合:实际部署之路
- 批准号:
1704336 - 财政年份:2017
- 资助金额:
$ 75万 - 项目类别:
Continuing Grant
SHF: Small: Interacting to Specify Software
SHF:小型:交互指定软件
- 批准号:
1527923 - 财政年份:2015
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
NeTS: Medium: Collaborative Research: Systematic Analysis of Protocol Implementations
NeTS:媒介:协作研究:协议实现的系统分析
- 批准号:
1161595 - 财政年份:2012
- 资助金额:
$ 75万 - 项目类别:
Continuing Grant
TC: Medium: Collaborative Research: Program Analysis for Smartphone Application Security
TC:媒介:协作研究:智能手机应用程序安全的程序分析
- 批准号:
1064844 - 财政年份:2011
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
EAGER: Collaborative Research: Toward An Adaptive Programming System for Cloud-Enabled Smartphone Applications
EAGER:协作研究:面向云智能手机应用程序的自适应编程系统
- 批准号:
1048826 - 财政年份:2010
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
SoD: An Electronic Design Automation Approach to Embedded Networked Software
SoD:嵌入式网络软件的电子设计自动化方法
- 批准号:
0725354 - 财政年份:2007
- 资助金额:
$ 75万 - 项目类别:
Standard Grant
"CAREER:" Enforcing and Validating User-Defined Programming Disciplines
“职业:”执行和验证用户定义的编程规则
- 批准号:
0545850 - 财政年份:2006
- 资助金额:
$ 75万 - 项目类别:
Continuing Grant
相似国自然基金
脊髓神经肽FF2受体在阿片耐受中的作用及调节机制研究
- 批准号:82301392
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
热激转录因子Ff-HSF1介导CO2调控金针菇菌盖开伞的分子机制
- 批准号:
- 批准年份:2021
- 资助金额:30 万元
- 项目类别:青年科学基金项目
基于结构的G蛋白偶联受体的药物设计:神经肽FF和黑素皮质素受体
- 批准号:32111530085
- 批准年份:2021
- 资助金额:10.00 万元
- 项目类别:国际(地区)合作与交流项目
基于结构的G蛋白偶联受体的药物设计:神经肽FF和黑素皮质素受体
- 批准号:
- 批准年份:2021
- 资助金额:10 万元
- 项目类别:
含芬太尼类小分子结构的阿片/神经肽FF系统多功能杂聚肽的化学构建和镇痛活性研究
- 批准号:81903430
- 批准年份:2019
- 资助金额:21.0 万元
- 项目类别:青年科学基金项目
具有口服镇痛活性的阿片/神经肽FF受体多靶点环肽分子的设计和合成及其药理学鉴定
- 批准号:81973159
- 批准年份:2019
- 资助金额:56.0 万元
- 项目类别:面上项目
以神经肽为模板的大麻/神经肽FF受体多靶点分子的化学构建和无耐受镇痛作用研究
- 批准号:81673282
- 批准年份:2016
- 资助金额:54.0 万元
- 项目类别:面上项目
FF-MAS通过Mos/MEK/ERK1/2信号通路调控猪卵母细胞减数分裂的机制研究
- 批准号:31601945
- 批准年份:2016
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
阿片/神经肽FF受体的双功能肽类配体的化学构建及其无耐受镇痛特性的研究
- 批准号:81273355
- 批准年份:2012
- 资助金额:65.0 万元
- 项目类别:面上项目
相似海外基金
QCIS-FF: Quantum Computing & Information Science Faculty Fellow at Tufts University
QCIS-FF:量子计算
- 批准号:
2013062 - 财政年份:2021
- 资助金额:
$ 75万 - 项目类别:
Continuing Grant
GC-atmospheric pressure laser ionisation-HR-time-of-flight mass spectrometer with FF-TG-GC option
GC-大气压激光电离-HR-飞行时间质谱仪,带 FF-TG-GC 选件
- 批准号:
460121675 - 财政年份:2021
- 资助金额:
$ 75万 - 项目类别:
Major Research Instrumentation
QCIS-FF: Quantum Computing & Information Science Faculty Fellow at North Carolina State University
QCIS-FF:量子计算
- 批准号:
1954773 - 财政年份:2021
- 资助金额:
$ 75万 - 项目类别:
Continuing Grant
QCIS-FF: Quantum Computer Systems Faculty Fellowship
QCIS-FF:量子计算机系统教员奖学金
- 批准号:
1926585 - 财政年份:2020
- 资助金额:
$ 75万 - 项目类别:
Continuing Grant
NSF QCIS-FF: Columbia University Computer Science Department Proposal
NSF QCIS-FF:哥伦比亚大学计算机科学系提案
- 批准号:
1926524 - 财政年份:2020
- 资助金额:
$ 75万 - 项目类别:
Continuing Grant
QCIS-FF: Quantum Computing & Information Science Faculty Fellow at the University of New Mexico
QCIS-FF:量子计算
- 批准号:
1954960 - 财政年份:2020
- 资助金额:
$ 75万 - 项目类别:
Continuing Grant
QCIS-FF: Quantum Computing & Information Science Faculty Fellow at Harvard University
QCIS-FF:量子计算
- 批准号:
2013303 - 财政年份:2020
- 资助金额:
$ 75万 - 项目类别:
Continuing Grant
QCIS-FF: Quantum Computing & Information Science Faculty Fellow at UC-Berkeley
QCIS-FF:量子计算
- 批准号:
2013571 - 财政年份:2020
- 资助金额:
$ 75万 - 项目类别:
Continuing Grant
QCIS-FF: Quantum Computing & Information Science Faculty Fellow at Indiana University
QCIS-FF:量子计算
- 批准号:
1955027 - 财政年份:2020
- 资助金额:
$ 75万 - 项目类别:
Continuing Grant
QCIS-FF: Quantum Computing & Information Science Faculty Fellow at the University of Illinois Urbana Champaign
QCIS-FF:量子计算
- 批准号:
1955032 - 财政年份:2020
- 资助金额:
$ 75万 - 项目类别:
Continuing Grant