QCIS-FF: A Software Stack for Quantum Computing
QCIS-FF: A Software Stack for Quantum Computing
批准号:
1926648
负责人:
Todd Millstein
金额:
$75.0万
依托单位国家:
美国
项目类别:
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: SHF: Small: Data-Driven Lemma Synthesis for Interactive Proofs
-
批准号:2220891
-
项目类别:Standard Grant
-
资助金额:$35.0万
-
财政年份:2022
-
负责人:Todd Millstein
-
依托单位:
FMitF: Opening Up the Black Box of Probabilistic Program Inference
-
批准号:1837129
-
项目类别:Standard Grant
-
资助金额:$94.74万
-
财政年份:2018
-
负责人:Todd Millstein
-
依托单位:
NeTS: Medium: Collaborative Research: Network Configuration Synthesis: A Path to Practical Deployment
-
批准号:1704336
-
项目类别:Continuing Grant
-
资助金额:$63.0万
-
财政年份:2017
-
负责人:Todd Millstein
-
依托单位:
SHF: Small: Interacting to Specify Software
-
批准号:1527923
-
项目类别:Standard Grant
-
资助金额:$49.95万
-
财政年份:2015
-
负责人:Todd Millstein
-
依托单位:
NeTS: Medium: Collaborative Research: Systematic Analysis of Protocol Implementations
-
批准号:1161595
-
项目类别:Continuing Grant
-
资助金额:$44.69万
-
财政年份:2012
-
负责人:Todd Millstein
-
依托单位:
TC: Medium: Collaborative Research: Program Analysis for Smartphone Application Security
-
批准号:1064844
-
项目类别:Standard Grant
-
资助金额:$40.05万
-
财政年份:2011
-
负责人:Todd Millstein
-
依托单位:
EAGER: Collaborative Research: Toward An Adaptive Programming System for Cloud-Enabled Smartphone Applications
-
批准号:1048826
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2010
-
负责人:Todd Millstein
-
依托单位:
SoD: An Electronic Design Automation Approach to Embedded Networked Software
-
批准号:0725354
-
项目类别:Standard Grant
-
资助金额:$80.0万
-
财政年份:2007
-
负责人:Todd Millstein
-
依托单位:
"CAREER:" Enforcing and Validating User-Defined Programming Disciplines
-
批准号:0545850
-
项目类别:Continuing Grant
-
资助金额:$32.0万
-
财政年份:2006
-
负责人:Todd Millstein
-
依托单位:
国内基金
海外基金
登录
查看更多内容
脊髓神经肽FF2受体在阿片耐受中的作用及调节机制研究
-
批准号:82301392
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:许彪
-
依托单位:
基于结构的G蛋白偶联受体的药物设计:神经肽FF和黑素皮质素受体
-
批准号:32111530085
-
项目类别:国际(地区)合作与交流项目
-
资助金额:10.00万元
-
批准年份:2021
-
负责人:徐菲
-
依托单位:
基于结构的G蛋白偶联受体的药物设计:神经肽FF和黑素皮质素受体
-
批准号:--
-
项目类别:--
-
资助金额:10万元
-
批准年份:2021
-
负责人:徐菲
-
依托单位:
热激转录因子Ff-HSF1介导CO2调控金针菇菌盖开伞的分子机制
-
批准号:32102458
-
项目类别:青年科学基金项目(C类)
-
资助金额:30.0万元
-
批准年份:2021
-
负责人:严俊杰
-
依托单位:
含芬太尼类小分子结构的阿片/神经肽FF系统多功能杂聚肽的化学构建和镇痛活性研究
-
批准号:81903430
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2019
-
负责人:李宁
-
依托单位:
具有口服镇痛活性的阿片/神经肽FF受体多靶点环肽分子的设计和合成及其药理学鉴定
-
批准号:81973159
-
项目类别:面上项目
-
资助金额:56.0万元
-
批准年份:2019
-
负责人:方泉
-
依托单位:
以神经肽为模板的大麻/神经肽FF受体多靶点分子的化学构建和无耐受镇痛作用研究
-
批准号:81673282
-
项目类别:面上项目
-
资助金额:54.0万元
-
批准年份:2016
-
负责人:方泉
-
依托单位:
FF-MAS通过Mos/MEK/ERK1/2信号通路调控猪卵母细胞减数分裂的机制研究
-
批准号:31601945
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2016
-
负责人:郝瑞荣
-
依托单位:
阿片/神经肽FF受体的双功能肽类配体的化学构建及其无耐受镇痛特性的研究
-
批准号:81273355
-
项目类别:面上项目
-
资助金额:65.0万元
-
批准年份:2012
-
负责人:方泉
-
依托单位: