Ashish Tiwari is currently a member of the Prose team at Microsoft. Prior to that, he was a Staff Scientist at SRI International. He has published over 80 peer-reviewed research papers in the areas of program analysis, synthesis, automated deduction, and hybrid systems. His work on automated abstractions of hybrid systems, program synthesis, and program analysis is widely cited. He has served as a PI or co-PI on several National Science Foundation (NSF) and National Aeronautics and Space Administration (NASA) funded grants. Ashish Tiwari received his B.Tech degree in Computer Science from the Indian Institute of Technology, Kanpur in 1995, and his Ph.D. in Computer Science from the State University of New York at Stony Brook in 2000.