FMitF: Track I: Visual Computing Meets Formal Verification: Certified Rendering, Geometry, — NSF Award to University of Illinois a
When one watches a movie with computer-generated special effects, plays a video game, or sees a robot assemble parts in a factory, one is witnessing visual computing in action. The technology allows computers to create, analyze, and interact with images and videos. Despite their widespread use, these technologies curre
| Award title | FMitF: Track I: Visual Computing Meets Formal Verification: Certified Rendering, Geometry, |
|---|---|
| Award ID | 2525287 |
| Awardee | University of Illinois at Urbana-Champaign |
| City | URBANA |
| State | IL |
| Amount obligated | $904,686 |
| Principal investigator | Huan Zhang |
| Program | FMitF: Formal Methods in the F |
| Start date | 10/01/2025 |
| Abstract | When one watches a movie with computer-generated special effects, plays a video game, or sees a robot assemble parts in a factory, one is witnessing visual computing in action. The technology allows computers to create, analyze, and interact with images and videos. Despite their widespread use, these technologies currently lack rigorous quality guarantees. This means that a medical imaging system might produce misleading visualizations, a digital twin used for industrial simulation might fail to |
| Source | NSF Awards |
$799/mo
Try NSFGrants →