Nikhil Swamy

Follow

Person

Seattle, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Programming, verifying, visualizing, and deploying browser extensio...
- Patent number 8,978,106
- Issue date Mar 10, 2015
- Microsoft Technology Licensing, LLC
- Nikhil Swamy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Type-preserving compiler for security verification
- Patent number 8,955,043
- Issue date Feb 10, 2015
- Microsoft Corporation
- Nikhil Swamy
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Programming, Verifying, Visualizing, and Deploying Browser Extensio...
- Publication number 20120246701
- Publication date Sep 27, 2012
- Microsoft Corporation
- Nikhil Swamy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Type-Preserving Compiler for Security Verification
- Publication number 20110185345
- Publication date Jul 28, 2011
- Microsoft Corporation
- Nikhil Swamy
- G06 - COMPUTING CALCULATING COUNTING