Natarajan Shankar
Natarajan Shankar works on automated reasoning and formal methods, the areas for which ACM named him a 2025 Fellow. He received his doctorate at the University of Texas at Austin in 1986 and joined SRI International's Computer Science Laboratory in 1989. With Sam Owre and John Rushby, he co-wrote a 1992 CADE paper on PVS, and the CAV conference gave the three of them its award in 2012. CADE gave him its Herbrand Award in 2022. As of October 2026, he is a senior distinguished scientist at SRI's Computer Science Laboratory.
- Now at
- SRI International
- Works
- 213
- Citations
- 7,218
- h-index
- 40
Publication numbers from OpenAlex, as of 15 October 2026.
Timeline
-
1986–1989
From Austin to SRI
He receives a Ph.D. in computer science from the University of Texas at Austin in 1986. He joins SRI International's Computer Science Laboratory in 1989.
-
1992
The PVS verification system
Sam Owre, John Rushby, and he publish “PVS: A Prototype Verification System” at CADE in 1992.
-
1994
Metamathematics, machines, and Gödel's proof
Cambridge University Press publishes his book Metamathematics, Machines, and Gödel's Proof in 1994.
-
2009
Named an SRI Fellow
In 2009, he is named an SRI Fellow, an award that SRI describes as its highest technical honor.
-
2012
A CAV Award
In July 2012, the CAV conference presents its award to him, Sam Owre, and John Rushby.
-
2022
A Herbrand Award
In 2022, CADE gives him its Herbrand Award for work on formalization of proofs and decision procedures.
-
2025
An ACM Fellowship
ACM names him a 2025 Fellow for contributions in automated reasoning, mechanized metatheory, formalized mathematics, formal methods, and system assurance.
-
As of October 2026
Senior distinguished scientist at SRI
He is a senior distinguished scientist in SRI's Computer Science Laboratory.
Sources and credits
Photo: We have no published photo of Natarajan Shankar yet. Send us a free-licensed photo.