Zvonimir Rakamaric's Homepage

Business...

Zvonimir Rakamaric

Ph.D. Candidate
Department of Computer Science
University of British Columbia
2366 Main Mall
Vancouver, BC V6T 1Z4
Canada

E-mail: email

E-mail: firstname.lastname@gmail.com
My CV in pdf.

...and pleasure.

Aloha!

As you probably already figured out, my name is Zvonimir Rakamaric. I grew up and did my undergrad in Croatia. Currently, I am a Ph.D. student (I completed my M.Sc. degree in August 2006) in the Department of Computer Science at the University of British Columbia. My supervisor is Alan Hu. When I am at the department, I can usually be found in the Integrated Systems Design Lab, which is located in the ICICS/CS room 342.

New!

I will graduate soon and therefore I am looking for a position in a research lab or academia. My job application materials are available here.

Research interests

Effective, automatic techniques for analysis, verification, and testing of complex systems
Design and verification of concurrent programs
Verification of heap-manipulating programs
Theorem provers and decision procedures for analysis of software

Recent Blog Entries

Static analysis in real world
02/17/2010 02:43 PM
Communications of the ACM (CACM) recently published an article titled "A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World". Written by the Coverity crowd, the article talks about their experience with commercializing a static bug-finding tool. The authors list practical problems they run into that you typically wouldn't see when building a research prototype, and also describe how they solved (or worked around) them. Interesting and entertaining...
Participating in the ACM Student Research Competition at ICSE 2010
02/16/2010 11:24 PM
My short paper about STORM, a concurrency checker I've been working on in the past year or so, got accepted into the second round of the ACM Student Research Competition at ICSE 2010. I'll be going to Cape Town soon to try to win one of the main prizes. Sweet!
Started another internship at Microsoft Research
11/26/2009 11:22 AM
This is my third internship at Microsoft Research, it seems I just can't get enough of that place :).
I'll be working again with Shaz Qadeer and Shuvendu Lahiri in the RiSE team. The main goal of the internship is to find important concurrency bugs in Microsoft's software using my concurrency checker called STORM. Exciting!
Amir Pnueli dies at 68
11/15/2009 05:27 PM
The New York Times published an article about the recently deceased pioneer of formal verification Dr. Amir Pnueli:
Amir Pnueli, Pioneer of Temporal Logic, Dies at 68
Passed my PhD thesis proposal defense
11/15/2009 05:34 PM
Today I passed my PhD thesis proposal defense and finally squared that off! I believe I am now a PhD candidate :). I got very useful feedback from my committee members that is definitely going to make my thesis stronger. So a big thanks for that to Alan, Ken, and Mark. Thanks to Eric as well for chairing the defense.