My name is Zvonimir Rakamaric (spelled Rakamarić in Croatian) and I am an assistant professor in the School of Computing at the University of Utah. Prior to this, I was a postdoctoral fellow in the Robust Software Engineering Group at NASA Ames Research Center. I received my Ph.D. and M.Sc. from the Department of Computer Science at the University of British Columbia, and my supervisor was Alan Hu. I grew up and did my undergrad in Croatia.
My research mission is to improve the reliability and resilience of complex software systems by empowering developers with practical tools and techniques for analysis of their artifacts.
My research interests are pragmatic. I am interested in any technique or method that supports my research mission, including but not limited to: extended static checking, automated theorem proving, model checking, and runtime verification. Currently, my emphasis is on highly automatic and scalable analysis techniques for software, in particular for concurrent software.