I joined Google in April 2013 and I'm currently a Staff Research Scientist, tech lead, and manager. My work focuses on research and development of automated software analysis systems for various security-related applications. Primarily, I want my work to have a positive impact on people's lives. I enjoy building top-notch teams and working with them on solving large-scale real-world important problems, while learning and having fun on the way. I'm particularly excited about big technical challenges and enjoy creating the vision, strategy, and technology for taming those challenges.
Over my career, I've published in the areas of verification, testing, security of complex software systems, automated reasoning, grammar inference, and applied formal methods. Before joining Google, I was a research scientist at UC Berkeley and elsewhere in industry.
I earned my Dipl.Ing. in Electrical Engineering and M.Sc. in Computer Science from the Zagreb University (Faculty of Electrical Engineering and Computing) in 2001 and 2003. I received a Ph.D. in Computer Science in 2008 from the University of British Columbia.
I was a recipient of the NSERC PDF Research Fellowship (2010-2012), Microsoft Graduate Research Fellowship (2005-2007), and several awards at international programming competitions (1st place at the 2007 Satisfiability Modulo Theories competition in the bit-vector arithmetic category and 3rd place at the 2005 Satisfiability Testing competition in the satisfiable-crafted instances category).