Konsultacije: zakažite mailom
Osnovne akademske studije:
Statisticke metode - Upravljanje rizikom od katastrofalnih događaja i požara
Zaštita životne sredine (do 2017/2018 godine); Zaštita na radu (do 2017/2018 godine)
Matematička statistika - Gradjevinarstvo
Matematika 1 - Saobraćaj (do 2015/2016 godine)
Matematička logika - Informacioni inženjering
Master studije: Matematika u tehnici
Odbranjeni master radovi na programu Matematika u tehnici
Odabrana poglavlja iz matematičke logike
Uvod u interaktivne dokazivače
Uvod u semantike programskih jezika
Formalne metode u inženjerstvu
Matematičke osnove privatnosti podataka
Doktorske studije: Matematika u tehnici
Logika u računarstvu
Semantike programskih jezika
Modeli izračunljivosti
Uvod u funkcionalne programske jezike - Interkativni dokazivači
Teorija mobilnih procesa
Procesna algebra
Formalne metode u inženjerstvu