Patent Assignment Abstract of Title
NOTE:Results display only for issued patents and published applications.
For pending or abandoned applications please consult USPTO staff.
Total Assignments:
2
|
Patent #:
|
|
Issue Dt:
|
08/09/2022
|
Application #:
|
16767569
|
Filing Dt:
|
05/27/2020
|
Publication #:
|
|
Pub Dt:
|
12/10/2020
| | |
PCT #:
|
US2018062883
|
Inventors:
|
Zhong Shao, Ronghui Gu, Vilhelm Sjoberg, Jieung Kim, Jeremie Koenig
|
Title:
|
SYSTEMS AND METHODS OF FORMAL VERIFICATION
|
|
Assignment:
1
|
|
|
|
CONFIRMATORY LICENSE (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
2415 EISENHOWER AVENUE |
ROOM W 18000 |
ALEXANDRIA, VIRGINIA 22314 |
|
|
|
NATIONAL SCIENCE FOUNDATION |
2415 EISENHOWER AVENUE |
ROOM W 18000 |
ALEXANDRIA, VA 22314 |
|
|
Assignment:
2
|
|
|
|
ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
TWO WHITNEY AVENUE |
NEW HAVEN, CONNECTICUT 06511 |
|
|
|
JAMES H. MORRIS |
WOLF, GREENFIELD & SACKS, P.C. |
600 ATLANTIC AVENUE |
BOSTON, MA 02210 |
|
|
Search Results as of:
09/22/2024 08:59 PM
If you have any comments or questions concerning the data displayed,
contact
PRD / Assignments at 571-272-3350. v.2.6
Web interface last modified:
August 25, 2017 v.2.6
|