Curriculum Vitae

cv.pdf

Education

• 09/2012–05/2019: Max Planck Institute for Software Systems (MPI-SWS)

  Doctor of Engineering (Dr.-Ing.) degree by Technische Universität Kaiserslautern

• 10/2009–10/2011: Department of Mathematics, University of Zagreb

  Enrolled in a doctoral program in mathematics

• 07/2004–10/2009: Department of Mathematics, University of Zagreb

  Dipl. Ing. (4-year degree) in Mathematics (profile: Computer Science)

Employment

• 09/2020–present: Google, New York, NY

  Software engineer

• 10/2018–07/2020: University of Pennsylvania, Philadelphia, PA

  Postdoctoral researcher in computer science

• 09/2012–10/2018: Max Planck Institute for Software Systems (MPI-SWS), Kaiserslautern

  Doctoral researcher in computer science

• 05/2016–08/2016: Microsoft Corp., Redmond, WA

  Research intern working on a testing and fault-injection framework for concurrent software. Technologies: C#, .NET Compiler Platform (“Roslyn”)

• 04/2010–09/2012: IN2 d.o.o., Zagreb

  Software engineer developing financial software. Technologies: Oracle DB (SQL, PL/SQL), Java (Spring Framework), and Adobe Flex

Teaching Experience

• 01/2019–05/2019: University of Pennsylvania

  Occasional lectures and a student project for CIS 540: Principles of Embedded Computation (Spring 2019)

• 10/2016–02/2017: Technische Universität Kaiserslautern

  Teaching assistant: Program Analysis (Winter 2016/2017)

• 04/2014–07/2014: Technische Universität Kaiserslautern

  Teaching assistant: Verification of Reactive Systems (Summer 2014)

• 03/2008–09/2009: Department of Mathematics, University of Zagreb

  Student assistant: Set Theory (Summer 2008), Introduction to Parallel Computing (Winter 2008), Application of Parallel Computers (Summer 2009)

• 09/2002–06/2005: Informatics Club NET, Ivanić-Grad

  Tutored high school students for programming competitions

Awards

• ACM SIGPLAN John Reynolds Dissertation Award, 2020

Professional Service

• Artifact evaluation committee: ISSTA 2015, ECOOP 2018, CAV 2019
• Conference reviews: CAV 2013, CSL 2013, FMCAD 2013, EMSOFT 2014, FMCAD 2014, LICS 2014, CADE 2015, VMCAI 2015, POPL 2016, TACAS 2016, VMCAI 2017, ICALP 2018, CAV 2021
• Journal reviews: ACM Transactions on Computational Logic, Acta Informatica, Order

Technical Skills

• Operating systems: GNU/Linux, Mac OS X, Windows
• Programming languages: C/C++, C#, Java, Python, PL/SQL, ActionScript (Flex)
• Databases: Oracle DB

Languages

Croatian (native), English (fluent), German (basic)