Teaching

At Penn, I was involved in the following course:

• CIS 540: Principles of Embedded Computation (Spring 2019)

  I helped by giving an occasional lecture and creating a project for the students: Leader Election in P#.

At the MPI-SWS, I was a teaching assistant for two courses:

• Program Analysis (Winter 2016/2017)

• Verification of Reactive Systems (Summer 2014)

  Here are my lecture notes on propositional logic, and my solution to Problem L (Labyrinth) from IPSC 2013 that reduces the problem to SAT.

At the Department of Mathematics, University of Zagreb, I was a student assistant for the following courses:

• Application of Parallel Computers (Summer 2009)
• Introduction to Parallel Computing (Winter 2008)
• Set Theory (Summer 2008)