Matematička logika - teorija skupova, teorija modela, logika višeg reda
Hrvatska zaklada za znanost, projekt UIP-2017-05-9219: Formal reasoning and semantics, suradnik, trajanje: 2017. - 2022.