LexDanaLexDanabeta
Inventor

Lidan Miao

Inventor
Issaquah, WA, US

Overview

1→
Patents
2015
Patent span
Physics
Primary field (CPC G)

Patents· 1 as inventor

Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.

G06Fprimary
G06FElectric digital data processing100%
PatentTitleYear
9,092,561'Model checking for distributed application validation'2015

Career & activity timeline

Assembled from patent assignee/location history and declaration credentials.

2015Patents assigned to MIAO LIDAN (1)· patent assignee history
2015Patents assigned to MICROSOFT TECHNOLOGY LICENSING LLC (1)· patent assignee history
2015Patents assigned to SONG PENG (1)· patent assignee history
2015Patents assigned to TARTA MIHAIL G (1)· patent assignee history
2015Patents assigned to ZHANG LI (1)· patent assignee history
2015Based in Issaquah, WA, US· patent location history

Inventor activity

Assignee and location history derived from the patent record.

Assignees
AssigneePatentsSpan
MIAO LIDANself12015
MICROSOFT TECHNOLOGY LICENSING LLC12015
SONG PENG12015
TARTA MIHAIL G12015
ZHANG LI12015
Locations
LocationPatentsSpan
Issaquah, Washington, US12015