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

  • 10/2018–present: University of Pennsylvania, Philadelphia

    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

    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

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
  • Journal reviews: ACM Transactions on Computational Logic, Acta Informatica

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)