Nastava:

Zimski semestar 2016./17.

Zimski semestar 2012./13.

• Matematička logika (PD-M, izborni kolegij; D-TM)
• Teorija skupova (3. godina PD-M)
• Programiranje 1 (2 grupe)
• zadaci s vježbi

Ljetni semestar 2012./13.

• Računarski praktikum I (2. godina PD-M)
• neki zadaci
• Programiranje 2 (1. godina PD-M)
• Kodovi s vježbi

Prijašnji kolegiji:

• Elementarna matematika
• Linearna algebra za ing. fizike
• uvod u matematiku

Znanost:

• projekt Matematička logika i primjene
  (program Logika u matematici, računarstvu i filozofiji)
  glavni istraživač Zvonimir Šikić
• Zavod za algebru i osnove matematike
• Seminar za matematičku logiku i osnove matematike

Radovi:

• Banach-Tarskijev "paradoks" - diplomski rad
• Nezavisnost hipoteze kontinuuma i aksioma izbora - magistarski rad
• Normalne forme i svojstvo konačnih modela za logiku interpretabilnosti - doktorska disertacija
• Hanfov i Gaifmanov teorem
• Kontraprimjeri u topologiji - prostori ordinalâ
• Natural Strings

Online aktivnost:

• MatHelP blog
• Newsgrupa hr.sci.matematika

Fakultetska birokracija:

• Ispitni A razred