Natarajan Shankar is affiliated with SRI International in the United States and works primarily in the field of Computer Science. Their research spans several subfields, including Artificial Intelligence, Computational Theory and Mathematics, Software, Statistics, Probability and Uncertainty, and Computer Networks and Communications.
The scientist's research topics cover a range of areas such as Formal Methods in Verification, Logic, programming, and type systems, Adversarial Robustness in Machine Learning, Risk and Safety Analysis, Software Testing and Debugging Techniques, Logic, Reasoning, and Knowledge, and Natural Language Processing Techniques.
Notable recent publications by Shankar include:
Other notable papers in the collection of works where Shankar is involved as author or contributor include:
Frequent co-authors collaborating with Shankar are:
Common publication venues where Shankar's work appears include:
Sam Owre;John M. Rushby;Natarajan Shankar
S. Owre;J. Rushby;N. Shankar;F. von Henke
Sam Owre;S. Rajan;John M. Rushby;Natarajan Shankar
Judy Crow;Sam Owre;John Rushby;Natarajan Shankar
Patrick Lincoln;Patrick Lincoln;John C. Mitchell;Andre Scedrov;Natarajan Shankar
S. Rajan;Natarajan Shankar;Mandayam K. Srivas
Hassen Saïdi;Natarajan Shankar
Saddek Bensalem;Vijay Ganesh;Yassine Lakhnech;Cesar Munoz
Klaus Havelund;Natarajan Shankar
J. Rushby;S. Owre;N. Shankar
Jean-Christophe Filliâtre;Sam Owre;Harald Rueß;Natarajan Shankar
N. Shankar
Pramod Subramanyan;Nestan Tsiskaridze;Wenchao Li;Adria Gascon
Leonardo de Moura;Sam Owre;N. Shankar
Patrick D. Lincoln;Natarajan Shankar
S. Owre;J. M. Rushby;N. Shankar;D. W. J. Stringer-Calvert
Leonardo de Moura;Bruno Dutertre;Natarajan Shankar
David Cyrluk;S. Rajan;Natarajan Shankar;Mandayam K. Srivas
Ashish Tiwari;Harald Rueß;Hassen Saïdi;Natarajan Shankar
David Cyrluk;Patrick Lincoln;Natarajan Shankar
P. Lincoln;J. Michell;A. Scedrov;N. Shankar
Natarajan Shankar
If you think any of the details on this page are incorrect, let us know.
Exploring computer science in the USA opens doors to a diverse range of online degree options and career opportunities. Many students are concerned about admissions requirements, especially GPA. Fortunately, there are many online graduate schools with low gpa requirements, making it easier to get started on your academic journey.
If you're looking to accelerate your studies, consider a fast track computer science degree. These programs let you complete your education quickly and enter the workforce sooner.
A computer science background also provides flexiblity to branch into related fields like environmental science or engineering. Curious about career prospects? Discover what jobs can you get with an environmental science degree and how your computer science skills can complement these roles.
For those interested in sustainability and technology, there are also environmental engineering degree opportunities available online at affordable rates. These pathways offer exciting options for both academic growth and career advancement.
Seoul National University
Amirkabir University of Technology
University of Exeter
Rowan University
Queen's University
Universidade Federal de Minas Gerais
University of Ottawa
Tianjin University
Huazhong University of Science and Technology
University of Seville
Rovira i Virgili University
University of Stuttgart
Tel Aviv University
National Institutes of Health
Bioversity International
Utah State University
