Zvonimir Rakamaric
- Assistant Professor
- 3424 MEB
- p: 801.581-6139
- f: 801.581.5843
- zvonimir at cs dot utah dot edu
- Personal Homepage
Background
Zvonimir received his M.Sc. and PhD in Computer Science at the University of British Columbia in 2006 and 2011.
Research Interests
Formal methods for analysis and verification of complex systems. My emphasis is on practical, highly automatic, and scalable formal verification techniques for software, in particular for concurrent and heap-manipulating programs. I am interested in any technique that supports that goal, such as extended static checking, automated theorem proving, model checking, and runtime verification.
