Zvonimir Pavlinovic
Senior Software Engineer at Google
New York, New York, United States
Summary
👤
Senior🎓
Top SchoolZvonimir Pavlinovic is a senior software engineer and researcher at Google with 11 years of experience bridging programming language theory and practical compiler tooling. He holds a PhD-level research background from NYU and has a strong track record of applied research internships at Microsoft Research and UC Berkeley. At Google he’s contributed core type-analysis infrastructure to the Go toolchain—implementing Variable Type Analysis graph construction and propagation—and helped build govulncheck for vulnerability auditing in the Go ecosystem. Based in New York, he combines deep formal CS expertise with production-grade back-end engineering, often turning theoretical ideas into robust developer tools. An attentive code reviewer and test author, he brings both academic rigor and a pragmatic focus on tooling reliability.
10 years of coding experience
11 years of employment as a software developer
Mathematics Physics English, Mathematics Physics English at Grammar School A.G. MatosDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at New York UniversityMS Computer Science, MS Computer Science at School of Electrical Engineering and Computing Zagreb
Stackoverflow
1,527reputation
160kreached
17answers
45questions
Github Skills (23)
algorithms10
data-structure10
compiler-design10
go10
vulnerability-detection10
data-structures10
testing9
computer-engineering9
type-system9
cli8
command-line-interface8
command-line8
go-modules7
eclipse6
dom-events6
Programming languages (6)
Github contributions (5)
golang/tools
Apr 2021 - Jan 2023
[mirror] Go Tools
Role in this project:
Back-end Developer
Back-end DeveloperContributions:42 commits in 1 year 8 months
Contributions summary:Zvonimir focused on developing the Variable Type Analysis (VTA) tools for the Go compiler. They implemented the core definitions for VTA nodes and the graph structure used to infer how types flow through Go programs. Their work included implementing VTA graph construction for basic program statements, collections, and function calls, including support for channels, slices, maps, and function calls, and return statements. They added the initial implementation of the type propagation functionality for the VTA graph.
golanggo-toolscallgraphssasource-code-analysis
golang/exp
Jun 2021 - Mar 2022
[mirror] Experimental and deprecated packages
Role in this project:Back-end Developer
Back-end DeveloperContributions:46 commits in 8 months
Contributions summary:Zvonimir contributed to the `golang/exp` repository by adding the `govulncheck` command, a tool for identifying vulnerabilities. They co-authored and reviewed code changes, including test implementations and dependency checks for integration tests within the `vulndb/govulncheck` package. Additionally, the user made code modifications to enhance the functionality of the auditing logic related to potential vulnerabilities and improved the organization of the output of the `govulncheck` tool. The contributions are centered around expanding and refining a tool within the Go ecosystem for vulnerability detection.
golanggo
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.