I work on the Go programming language, static analysis, SMT solving, and fuzzing.
-
Google
- Mountain View
- https://ai.google/research/people/TimKing
Earned achievements
Quickdraw
Quickdraw
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Pull Shark
x3
Pull Shark
x3
Loading