About Me                         Current Research                           Publications                          Selected Talks
About Me


Hi, I am Ankur Taly, Research Scientist in the Security Research group at Google.
Prior to joining Google, I received my PhD at Stanford University under the supervision of Prof. John C. Mitchell. (Thesis title: Sandboxing Untrusted JavaScript)
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 (last updated in April 2012)

Recent:
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

Publications


Selected Talks