Business...
Photo of Zvonimir

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.
Summer Photo of Zvonimir

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

  • 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.
  • Visited IST Austria
    10/23/2009 02:36 AM

    A couple of days ago, I visited the Institute of Science and Technology (IST) Austria in Klosterneuburg near Vienna. IST Austria is a brand new research institution on track to become a world-class research center. I was invited by its president Prof. Tom Henzinger to give a talk about my research on verification of concurrent systems code. I was impressed by smooth organization of my visit, people who work there and their research, as well as institute's surroundings in the Vienna Woods.
    Thanks again to everybody at the IST Austria who made my stay a very pleasant one!
  • Attending Dagstuhl Seminar
    10/13/2009 09:43 AM
    I am attending Dagstuhl Seminar titled "Interaction versus Automation: The two Faces of Deduction". I gave a talk there about my work on the verification of concurrent systems code using SMT solvers.


Last modified: Tue Dec 22 09:07:31 PST 2009
Copyright © 2004-2010 Zvonimir Rakamaric