Prof. Natarajan Shankar

Title: Speaking Logic


Prof. Natarajan Shankar is a Computer Scientist in SRI's Computer Science Laboratory. He graduated with a B.Tech in E.E. from IIT, Madras, India in 1980. Received a Ph.D. in C.S. in 1986 from the University of Texas at Austin.


Formal logic has become the lingua franca of computing. It is used for specifying digital systems, annotating programs with assertions, defining the semantics of programming languages, and proving or refuting claims about software or hardware systems. Familiarity with the language and methods of logic is a foundation for research into formal aspects of computing. This course covers the basics of logic focusing on the use of logic as a medium for formalization and proof.