Natarajan Shankar
Encyclopedia
Natarajan Shankar is a computer scientist working at SRI International
, California
.
His PhD thesis was published as the book " Metamathematics, Machines, and Goedel's Proof" by Cambridge University Press
in 1994. He has used the Boyer–Moore theorem prover to prove metatheorems such as the tautology theorem, Godel's incompleteness theorem and the Church-Rosser theorem. He contributed to the development of automated reasoning technology, deductive systems and computational engines.
In 2009, he was named SRI Fellow. The fellowship recognizes exceptional staff members for their outstanding contributions to science. The other SRI Fellows in the Computer Science Laboratory at SRI are Peter G. Neumann
, John Rushby
and Patrick Lincoln.
SRI International
SRI International , founded as Stanford Research Institute, is one of the world's largest contract research institutes. Based in Menlo Park, California, the trustees of Stanford University established it in 1946 as a center of innovation to support economic development in the region. It was later...
, California
California
California is a state located on the West Coast of the United States. It is by far the most populous U.S. state, and the third-largest by land area...
.
His PhD thesis was published as the book " Metamathematics, Machines, and Goedel's Proof" by Cambridge University Press
Cambridge University Press
Cambridge University Press is the publishing business of the University of Cambridge. Granted letters patent by Henry VIII in 1534, it is the world's oldest publishing house, and the second largest university press in the world...
in 1994. He has used the Boyer–Moore theorem prover to prove metatheorems such as the tautology theorem, Godel's incompleteness theorem and the Church-Rosser theorem. He contributed to the development of automated reasoning technology, deductive systems and computational engines.
In 2009, he was named SRI Fellow. The fellowship recognizes exceptional staff members for their outstanding contributions to science. The other SRI Fellows in the Computer Science Laboratory at SRI are Peter G. Neumann
Peter G. Neumann
Peter G. Neumann is a researcher who has worked on the Multics operating system in the 1960s. He edits the Computer Risks columns for ACM Software Engineering Notes and Communications of the ACM. He founded ACM SIGSOFT and is a Fellow of the ACM, IEEE and AAAS.He studied at Harvard University ,...
, John Rushby
John Rushby
John Rushby is a British computer scientist now based in the United States.John Rushby was born and brought up in London, where he attended Dartford Grammar School. He studied at the University of Newcastle in the UK, gaining his computer science BSc there in 1971 and his PhD in 1977.From 1974 to...
and Patrick Lincoln.