Tim King

Registered user since Sat 12 Jan 2019

Name: Tim King

Bio: I joined Google in September 2015 where I am currently a Software Engineer in the Software Analysis Team. My interests range from static analysis to SMT to fuzzing.

Country: United States

Affiliation: Google

Personal website: https://ai.google/research/people/TimKing

Research interests: Software Security, Static Analysis, SMT


VMCAIAuthor of Polyhedral Approximation of Multivariate Polynomials using Handelman’s Theorem within the VMCAI-track
SPLASH 2014Author of Finding Minimum Type Error Sources within the OOPSLA-track