Vivek Kaushik

Executive Summary

Vivek Kaushik is an inventor who has filed 1 patents. Their primary areas of innovation include {using formal methods, e.g. model checking, abstract interpretation (theorem proving (1 patents), {Managing data history or versioning (querying versioned data (1 patents), {Updates performed during online database operations; commit processing} (1 patents), and they have worked with companies such as ORANGE (1 patents). Their most frequent collaborators include (1 collaborations), (1 collaborations).

Patent Filing Activity

Technology Areas

List of Technology Areas

• G06F11/3608 ({using formal methods, e.g. model checking, abstract interpretation (theorem proving): 1 patents
• G06F16/219 ({Managing data history or versioning (querying versioned data): 1 patents
• G06F16/2379 ({Updates performed during online database operations; commit processing}): 1 patents

Companies

Error creating thumbnail: File missing

List of Companies

• ORANGE: 1 patents

Collaborators

• Nimisha Gupta (1 collaborations)
• Priyanka Bhatt (1 collaborations)