Computing That Serves

Learning Symbolic Interfaces of Software Components


Thursday, March 21, 2013 - 12:00pm


Zvonimir Rakamaric

Assistant Professor, University of Utah 


Eric Mercer


Zvonimir Rakamaric is an assistant professor in the School of Computing at the University of Utah. Prior to this, he was a postdoctoral fellow at Carnegie Mellon University in Silicon Valley, where he worked closely with researchers from the Robust Software Engineering Group at NASA Ames Research Center to improve the coverage of testing of NASA’s flight critical systems. Zvonimir received his bachelor’s degree in Computer Science from the University of Zagreb, Croatia; he obtained his M.Sc. and Ph.D. from the Department of Computer Science at the University of British Columbia, Canada, where Prof. Alan J. Hu served as his supervisor.

The main focus of Zvonimir's research is developing practical methods, techniques, and tools for improving reliability and correctness of complex systems. Currently, his emphasis is on highly automatic and scalable analysis techniques for software, in particular for concurrent software. He is interested in any technique that supports those goals, such as extended static checking, automated theorem proving, model checking, and runtime verification.

From 2008-1010, Zvonimir was the recipient of a Microsoft Research Graduate Fellowship, and conducted three internships at the Microsoft Research Software Reliability Research Group.  He also won the Silver Medal in the ACM Student Research Competition at the 32nd International Conference on Software Engineering (ICSE) 2010 and the Outstanding Student Paper Award at the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2007.

For more information about Zvonimir, visit