About

As you probably already figured out, my name is Zvonimir Rakamaric. Currently, I am a postdoctoral fellow at Carnegie Mellon University in Silicon Valley, where I am also working closely with researchers from 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.

Curriculum Vitae (Last updated: Nov 1, 2011), short biography.

Research Interests

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