Karthick Jayaraman — 9 Patents at Microsoft

Karthick Jayaraman has been granted 9 US patents while listed as an inventor at Microsoft. The first was granted in 2016 and the most recent in August 2025. Karthick Jayaraman ranks #535,341 of 4,157,543 US inventors in our database (top 12.9%). Patent records list Karthick Jayaraman in Kirkland, WA, US.

Issued Patents All Time

Showing 1–9 of 9 patents

Patent #	Title	Co-Inventors	Date	Approx Value ⓘ
12395418	Network verification systems and methods	Ryan Andrew Beckett, Neha Milind Raje, Jitendra D. Padhye, Christopher Scott Johnston, Steven Jeffrey Benaloh +8 more	2025-08-19
12199863	Ghost routing	Jitendra D. Padhye, Wei Bai, Rachee Singh, Ryan Andrew Beckett, Sarah Elisabeth MCCLURE +3 more	2025-01-14
11824727	Network configuration verification in computing systems	Ryan Andrew Beckett, Nikolaj S. Bjorner	2023-11-21	$337,384,000
11652742	Ghost routing	Jitendra D. Padhye, Wei Bai, Rachee Singh, Ryan Andrew Beckett, Sarah Elisabeth MCCLURE +3 more	2023-05-16	$397,636,000
11516088	Network configuration verification in computing systems	Ryan Andrew Beckett, Nikolaj S. Bjorner	2022-11-29	$189,674,000
11121934	Network verification systems and methods	Ryan Andrew Beckett, Neha Milind Raje, Jitendra D. Padhye, Christopher Scott Johnston, Steven Jeffrey Benaloh +8 more	2021-09-14	$197,424,000
10333794	Validating routing tables of routing devices	Nikolaj S. Bjorner, Geoffrey Outhred	2019-06-25	$55,928,000
9900222	Validating routing tables of routing devices	Nikolaj S. Bjorner, Geoffrey Outhred	2018-02-20	$49,495,000
9467473	System and method for compact form exhaustive analysis of security policies	Charles W. Kaufman, Nikolaj S. Bjorner	2016-10-11	$78,026,000

Karthick Jayaraman — 9 Patents

Issued Patents All Time

Patent Widget