|
Domagoj Babic
[pronunciation: MP3]
Office: Soda Hall 525
Computer Science Division
University of California, Berkeley
CA 94720-1776
Email: babic.domagoj[at]gmail.com
Public PGP key [TXT]
CV in [PDF], short biography
|
|
Welcome to my personal page!
I'm a researcher with background in computer science and electrical engineering, and I'm a currently a Project Research Scientist at the Computer Science Division of UC Berkeley.
My research interests include:
News:
July 28, 2010: Camera-ready Version of the CCS 2010 Stitching Paper Available
- The camera-ready version can now be obtained here.
July 27, 2010: Camera-ready Version of the Protocol Inference Paper Available
- The camera-ready version can now be obtained here. I'll make the other CCS (stitching) paper available in a couple of days.
July 23, 2010: Byron Gives a Cool Talk at UC Berkeley
- Byron visited Berkeley and gave a really neat talk about branching time reasoning for infinite-state systems. While sipping coffee in the morning, we figured out how similar our early career stories are. I thought I had bad luck after graduating, but Byron was really in dire straits, which makes his success even more impressive.
June 21, 2010: Two Papers Accepted at CCS 2010
- The papers I've just put online are rough drafts, and the reviewers' comments still have to be addressed. I'll post a note when the camera-ready versions are ready.
May 11, 2010: Conferences and Retreats
- For the next three days, I'm attending the UC Berkeley's Open Source Quality Project Retreat retreat in Santa Cruz.
- Next week, I'll be attending the Oakland security conference
- I've decided not to go to this year's CAV. I'll miss hanging out with all the crowd I know there, but I want to get as much research done this summer as possible.
Mar 1, 2010: International Symposium on Stabilization, Safety, and Security of Distributed Systems
- I've been invited to serve on the program committee of the 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2010).
Feb 22, 2010: Last Day of the CRA Workshop
- The last day was focused on research funding opportunities in the US. All the talks were great and exceptionally useful. Slides can be found here.
Feb 1, 2010: First Day at UC Berkeley
- My first day at UCB was hectic, but it's nice to return back to an academic research environment.
Jan 3, 2010: Faster Optimized Web Site
- Improved the overall performance of this web site through server-side compression, PHP caching, and CSS optimization. Visitors should experience 3—5X faster page access. If you notice any problems with the newly introduced optimizations, please let me know.
Jan 1, 2010: Happy New Year!
- I wish everyone a happy and successful 2010!
Dec 18, 2009: CRA Career Mentoring Workshop in February
Dec 12, 2009: Joining UC Berkeley
- I'm delighted to announce that I'm joining Dawn Song's research group at the Computer Science Division of UC Berkeley in Feb 2010 as a project research scientist. At UC Berkeley, I will focus on various aspects of software security, especially those that have a close connection to the world of software verification and decision procedures.
Oct 4, 2009: CAV 2010
- I've been invited to serve on the CAV 2010 program committee.
Oct 3, 2009: The Dagstuhl Castle
- I've arrived to the Dagstuhl castle. Dagstuhl is mostly sponsored, in my understanding, by the German government. One-week seminars in different topics of computer science are organized here around the year. The facility is located close to the village of Wadern, next to a small forest. The remote location definitely keeps people focused on the seminar and exchange of research ideas. In addition to already amazing facilities (a world-class CS library having many books signed by the authors, great lodging, sauna, music room, laundry, many cozy rooms for discussions, wine cellar, ...), it's getting a new wing of guest rooms. This is my second Dagstuhl, and I'm looking forward to another productive seminar!
Aug 17, 2009: A Paper Accepted for Publication in International Journal on Software Tools for Technology Transfer
Aug 8, 2009: Moving to Fremont
- I've moved to Fremont today to shorten my daily commute.
Jul 9, 2009: Settling at Synopsys
- I've more-less settled at Synopsys in Mountain View. My daily commute is 94 miles (~151 km). I'm going to move closer to Mountain View around Aug 10 to avoid this exhausting daily drive.
Jul 5, 2009: A Long Overdue Page Update
- After a long time, I finally found time to update my web page. I apologize to numerous visitors that have been frequently checking my page for updates, just to find the same old stuff. Since February, I've been consulting, interviewing, traveling, searching for a new apartment, working on my (complicated) immigration paperwork,... A more detailed update is below.
Older entries in my mini-blog can be found in Old News.
