Patent Assignment
Reel/Frame 070425/0516
Confirmatory License
Recorded: 2025-03-06
Pages: 2
Assignor
COLUMBIA UNIV NEW YORK MORNINGSIDE
Executed: 2023-05-17
Assignee
NATIONAL SCIENCE FOUNDATION
2415 EISENHOWER AVENUE, ALEXANDRIA, VIRGINIA, 22314
Covered Property
(1)
Systems, Methods, and Media for Proving the Correctness of Software on Relaxed Memory Hardware
Related Assignments
(1)
Other recorded transfers of the patent in this record — the chain of ownership.