Zvonimir Rakamaric
Senior Staff Applied Scientist at Datadog
Salt Lake City, Utah, United States
Summary
🤩
Rockstar🎓
Top SchoolZvonimir Rakamaric is a Principal Applied Scientist at AWS specializing in automated reasoning and scalable, highly automatic analysis techniques for concurrent and heap-manipulating software. With a PhD from UBC and a decade-plus academic career as an assistant and associate professor, he blends deep research in theorem proving, model checking, and extended static checking with practical tool-building for real-world code. His work includes founding and advancing static checkers for concurrency and heap verification, and applying these tools in industrial settings such as Microsoft research and NASA flight-critical testing. Based in Salt Lake City, he focuses on making verification techniques effective and automatic at scale, bringing an unusual mix of rigorous theory and hands-on engineering to improve software reliability.
4 years of coding experience
21 years of employment as a software developer
BSc Computer Science, BSc Computer Science at University of Zagreb / Sveučilište u ZagrebuPhD Computer Science, PhD Computer Science at The University of British Columbia
English, Croatian
Github Skills (18)
verification10
programming-language9
boogie9
dafny9
smt9
modulo9
rust8
toolchain8
llvm8
solver7
reachability6
symbolic-execution-engine5
symbolic-execution4
semantic-diff4
static-analysis3
Programming languages (5)
Github contributions (5)
smackers/smack
Mar 2022 - Mar 2023
SMACK Software Verifier and Verification Toolchain
Contributions:3 reviews, 1 PR, 7 pushes in 1 year
toolchainverificationllvmverifiersmt
dafny-lang/dafny
Jan 2022 - Jul 2023
Dafny is a verification-aware programming language
Contributions:8 reviews, 5 comments in 1 year 5 months
dafnyprogramming-languageverification
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.