NSF Workshop on Safety and Trust in Artificial Intelligence Enabled Systems
NSF Workshop on Safety and Trust in Artificial Intelligence Enabled Systems
批准号:
2231543
负责人:
Taylor Johnson
金额:
$4.91万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2022
资助国家:
美国
项目状态:
已结题
起止时间:
2022-08-01 至 2023-07-31
中文摘要
本次研讨会的目的是确定新出现的问题、挑战、基本研究问题和潜在的方法,以研究和解决跨应用领域的人工智能系统的安全和信任。研讨会将汇集来自学术界、工业界和政府研究实验室的研究人员,这些实验室致力于人工智能、正式方法以及自主系统、商业和金融以及教育等应用领域的研究。研讨会的主要成果是一份总结研讨会讨论和结果的报告,该报告将公开提供。促进正式方法、AI/ML和更广泛的研究社区和利益相关者之间合作和思想交流的发展是至关重要的,可能会导致改进AI/ML和正式方法的方法的进步,以及科学、工程和社会对这些支持AI的系统的安全和信任的更广泛关注。研讨会将特别鼓励来自代表性不足群体的人的参与和观点。这一奖项反映了NSF的法定使命,并通过使用基金会的智力优势和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
This aim of this workshop is to identify emerging issues, challenges, basic research questions, and potential approaches to study and address safety and trust in AI-enabled systems across application domains. The workshop will bring together researchers from academia, industry, and government research labs that are working in the areas of artificial intelligence, and formal methods, and application domains such as autonomous systems, business and finance, and education. The main deliverable of the workshop is a report summarizing the discussions and findings of the workshop, which will be made publicly available.Fostering the development of collaborations and the exchange of ideas between the formal methods, AI/ML, and broader research communities and stakeholders is critical and may lead to advances in methods that improve both AI/ML and formal methods, as well as the broader concerns about safety and trust of these AI-enabled systems across science, engineering, and society. The workshop will particularly encourage participation and perspectives from persons coming from underrepresented groups.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: FMitF: Track II: Enhancing the Neural Network Verification (NNV) Tool for Industrial Applications
-
批准号:2220426
-
项目类别:Standard Grant
-
资助金额:$4.93万
-
财政年份:2022
-
负责人:Taylor Johnson
-
依托单位:
FMitF: Track I: Generative Neural Network Verification in Medical Imaging Analysis
-
批准号:2220401
-
项目类别:Standard Grant
-
资助金额:$74.75万
-
财政年份:2022
-
负责人:Taylor Johnson
-
依托单位:
Collaborative Research: Operator theoretic methods for identification and verification of dynamical systems
-
批准号:2028001
-
项目类别:Standard Grant
-
资助金额:$22.99万
-
财政年份:2020
-
负责人:Taylor Johnson
-
依托单位:
SHF: Small: Collaborative Research: Fuzzing Cyber-Physical System Development Tool Chains with Deep Learning (DeepFuzz-CPS)
-
批准号:1910017
-
项目类别:Standard Grant
-
资助金额:$24.84万
-
财政年份:2019
-
负责人:Taylor Johnson
-
依托单位:
FMitF: Track II: Hybrid and Dynamical Systems Verification on the CPS-VO
-
批准号:1918450
-
项目类别:Standard Grant
-
资助金额:$9.83万
-
财政年份:2019
-
负责人:Taylor Johnson
-
依托单位:
SHF: Small: Automating Improvement of Development Environments for Cyber-Physical Systems (AIDE-CPS)
-
批准号:1736323
-
项目类别:Standard Grant
-
资助金额:$45.74万
-
财政年份:2016
-
负责人:Taylor Johnson
-
依托单位:
CRII: CPS: Safe Cyber-Physical Systems Upgrades
-
批准号:1713253
-
项目类别:Standard Grant
-
资助金额:$12.41万
-
财政年份:2016
-
负责人:Taylor Johnson
-
依托单位:
CRII: CPS: Safe Cyber-Physical Systems Upgrades
-
批准号:1464311
-
项目类别:Standard Grant
-
资助金额:$17.46万
-
财政年份:2015
-
负责人:Taylor Johnson
-
依托单位:
SHF: Small: Automating Improvement of Development Environments for Cyber-Physical Systems (AIDE-CPS)
-
批准号:1527398
-
项目类别:Standard Grant
-
资助金额:$49.84万
-
财政年份:2015
-
负责人:Taylor Johnson
-
依托单位:
海外基金