work_institution birth_place image_size field known_for prizes article_title name alma_mater
sri international india 125px computer science prototype verification system sri international fellow 2009 natarajan shankar
 natarajan shankar iit madras university of texas at austin
natarajan shankar

natarajan shankar is a computer scientist working at sri international in menlo park , california , where he leads the symbolic analysis laboratory .
