Currently, Zvonimir Rakamaric is a postdoctoral fellow at Carnegie Mellon
University in Silicon Valley, where he works closely with researchers from the
Robust Software Engineering Group at NASA Ames Research Center. In the spring of
2012, Zvonimir will join the School of Computing at the University of Utah as a
tenure-track assistant professor.  He received his Ph.D. and M.Sc.  from the
Department of Computer Science at the University of British Columbia, where his
supervisor was Alan Hu. Zvonimir completed his undergraduate studies in Croatia
at the University of Zagreb.

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.

Zvonimir was the recipient of a Microsoft Research Graduate Fellowship from
2008-2010.  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 www.zvonimir.info.