##
Current teaching

I am a supervisor for the courses Computation Theory, Discrete
Mathematics, and Logic & Proof. Below you can find the hand-in
exercises for these supervisions. Supervision work can be handed in in the
supervision work box at the Computer Lab, or by email. It has to be
submitted at the latest 24 hours before the start of the supervision,
except when the supervision is on a Monday, in which case it has to be
submitted 72 hours before the supervision.

My contact information can be found here.

### Computation Theory

Hand-in exercises by supervision:

Supervision 1: exercises 1a, 1b, 1c, 2, 3, 4 from the

exercise sheet
Supervision 2:

Exercises for supervision 2
Supervision 3:

Exercises for supervision 3
### Discrete Mathematics

Hand-in exercises by supervision:

Supervision 1:

From the

Michaelmas
exercise sheet:

Section 1.1: exercises 3, 4, 5, 6, 8

Section 1.2: exercises 2, 4, 5, 6, 9

Supervision 2:

From the

Michaelmas
exercise sheet:

Section 2.1: exercises 2, 3

Section 2.2: exercises 1, 2, 5, 7, 8, 9

Section 3.1: exercises 2, 4

Supervision 3:

From the

Michaelmas
exercise sheet:

Section 3.2: exercises 4, 7, 10ab, 11

Section 4.1: exercise 2

Section 4.2: exercises 1, 2

From the

Lent
exercise sheet:

Section 1.1: exercises 3, 5

Supervision 4:

From the

Lent
exercise sheet:

Section 1.2: exercises 1, 2, 3bc, 5

Section 2.1: exercise 1

Section 2.2: exercise 2

Section 3.1: exercise 2

Section 3.2: exercises 2, 3

Section 4.2: exercises 1, 2

Supervision 5:

From the

Lent
exercise sheet:

Section 5.1: exercises 2, 5

Section 5.2: exercise 1, 3acd

Section 6.1: exercises 1, 6

Section 6.2: exercises 1, 3

Section 9.2: exercises 1, 2

Section 10: exercise 2

Supervision 6:

From the

formal
languages example sheet:

Section 1: exercises 1, 3

Section 2: exercises 1, 3

Section 3: exercises 1, 3

Section 4: exercises 2, 4, 6, 7

### Logic & proof

The exercises can be found in the
notes.
Hand-in exercises by supervision:

Supervision 1: exercises 1-4 and 6-11

Supervision 2: exercises 13, 15, 17, 18, 19, 23, 26

Supervision 3: exercises 30, 32, 36, 38, 39, 44, 45, 47

##
Past teaching

Previously I have taught exercise classes and occasionally lectures
for the following courses:

- Representations of Finite Groups (spring semester 2015)
(lecture notes)
- Symmetry (autumn semester 2014)
- Representations of Finite Groups (spring semester 2014)
- Fourier Theory (autumn semester 2013)
- Representations of Finite Groups (spring semester 2013)
- Finite-dimensional Algebras (autumn semester 2012)