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 MPISWS, 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)