Project Details
Description
To explore the application of formal methods in computer science to the study of trustworthiness of AI systems
| Status | Active |
|---|---|
| Effective start/end date | 1/1/20 → … |
Funding
- Alfred P. Sloan Foundation: US$300,000.00
ASJC Scopus Subject Areas
- Computer Science(all)
- Development
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.