Zvonimir Rakamaric
Principal Applied Scientist at Amazon Web Services (AWS)
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
18 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 (29)
smack10
verification10
programming-language9
tla9
boogie9
dafny9
smt9
modulo9
compiler8
tlaplus8
llvm7
reachability7
solver7
rust7
toolchain6
Programming languages (4)
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
smtrustverifiertlaverification-toolchain
dafny-lang/dafny
Jan 2022 - Jul 2023
Dafny is a verification-aware programming language
Contributions:8 reviews, 5 comments in 1 year 5 months
compilerdafnyprogramming-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.