dr. sc. Tin Adlešić

Zavod za matematiku
Radno mjesto: asistent
Zavod / Katedra: Zavod za matematiku
Godina diplomiranja: 2018.
Profesionalni interesi i članstva

Matematička logika - teorija skupova, teorija modela, logika višeg reda

Izabrani projekti

Hrvatska zaklada za znanost, projekt UIP-2017-05-9219: Formal reasoning and semantics, suradnik, trajanje: 2017. - 2022.