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
Personal website: https://ai.google/research/people/TimKing
Research interests: Software Security, Static Analysis, SMT
|VMCAI||Author of Polyhedral Approximation of Multivariate Polynomials using Handelman’s Theorem within the VMCAI-track|
|SPLASH 2014||Author of Finding Minimum Type Error Sources within the OOPSLA-track|