Markus Kusano
Senior Software Engineer at Google
New York, New York, United States
Summary
👤
Senior🎓
Top SchoolMarkus Kusano is a Senior Software Engineer at Google with 11 years of experience building tools that boost software security, reliability, and developer productivity. He specializes in program analysis, automated test generation, fault localization and repair, and program understanding, translating deep research into practical engineering. A Virginia Tech PhD focused on numerical abstract interpretation, symbolic execution, and bounded model checking for concurrent programs, he brings rare expertise on correctness for complex, concurrent systems. At Google he has contributed to OSS-Fuzz integrations—adding fuzz targets and improving build reliability for widely used libraries like OpenCV—demonstrating applied security engineering at scale. His background includes research internships at Samsung and NEC Labs, and a strong academic record with top-tier GPAs. He pairs rigorous formal-methods research with hands-on backend and security engineering to close the gap between verification research and production-grade tooling.
11 years of coding experience
1 year of employment as a software developer
Bachelor of Science - BS, Computer Engineering, GPA: 3.9/4, Rank: 4/84, Bachelor of Science - BS, Computer Engineering, GPA: 3.9/4, Rank: 4/84 at Virginia Tech
Github Skills (15)
c1710
fuzzing10
c-language10
cprogramming-language10
c1110
fuzz-testing10
scripting9
security9
shell9
script9
sh9
freeimage8
opencv8
libsass8
build-automation7
Programming languages (7)
Github contributions (5)
google/oss-fuzz
Dec 2018 - Feb 2019
OSS-Fuzz - continuous fuzzing for open source software.
Role in this project:
Back-end Developer & Security Engineer
Back-end Developer & Security EngineerContributions:8 commits, 9 PRs, 21 comments in 2 months
Contributions summary:Markus contributed significantly to integrating and fuzzing various open-source projects within the OSS-Fuzz framework. Their work included adding fuzz targets for mpg123, FreeImage, opencv, and libsass, demonstrating an understanding of fuzzing techniques and the libraries' APIs. The user also implemented temporary file handling, built configuration scripts and optimized build processes for these projects within the fuzzing environment. The user also hardcoded pkg-config results, addressing build failures and ensuring consistent dependencies for the projects.
oss-fuzzfuzz-testingossvulnerabilitiessecurity
markus-kusano/markus-kusano.github.io
Feb 2015 - Mar 2019
Contributions:160 pushes, 2 branches in 4 years 2 months
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.