Zvonimir Rakamaric

Zvonimir Rakamaric is a Professor in the Department of Computer Science at the University of Utah. His primary research focuses on formal methods, software verification, and numerical analysis, with an emphasis on ensuring correctness and reliability in software systems. He leads efforts in developing tools and techniques for verifying complex systems, including formal verification of floating-point arithmetic, compiler optimizations, and concurrent/distributed systems.

• Key Roles: Formal Methods Researcher, Software Verification Specialist, Floating-Point Arithmetic Expert
• Affiliations: University of Utah School of Computing

Research interests span formal verification tools (e.g., SMACK, Dafny), static analysis, and numerical error analysis. His work addresses challenges in safety-critical systems, including embedded software, high-performance computing, and compiler optimizations. Collaborations include institutions like Sandia National Labs and Microsoft Research.

Publications emphasize rigorous methods for analyzing floating-point precision, equivalence checking, and tool development for formal verification. His work bridges theoretical foundations with practical tool implementations, contributing to open-source verification frameworks widely adopted in academia and industry.