← Back to contracts

FMitF: Track I: Visual Computing Meets Formal Verification: Certified Rendering, Geometry, and Video Generation

US NSF grant open #nsf-2525287

Summary

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 detect collisions, or a robot arm might misjudge the position of objects it needs to grasp. This pr

FMitF: Track I: Visual Computing Meets For…
Onboard