About Me                         Current Research                           Dissertation                          Publications                          Selected Talks
About Me

Hi, I am Ankur Taly, presently a Senior Research Scientist at Google. Prior to joining Google, I received my PhD at Stanford University under the supervision of Prof. John C. Mitchell. Before coming to Stanford, I spent four wonderful years at Indian Institute of Technology (IIT), Bombay where I received my B.Tech in Computer Science and Engineering.

Email: ataly AT google.com

Research Interests: Formal Methods in general. Currently, Curriculum Vitae: PDF

I am no longer the coordinator of the Stanford Security Seminar. Kindly send an email to Joe Zimmerman if you would like to give a talk.
PC Participation
PLDI (ERC) 2014, HOTSPOT 2013, PLAS 2013, POST 2014
Please consider submitting a paper to these venues.
Research Themes



Selected Talks