Zvanje: | asistent |
Lokacija: | A306/III |
Telefon: | 5897 |
E-mail: | |
URL službenih stranica na Webu: | https://web.math.pmf.unizg.hr/~sehorva/ |
Zavod/služba: | Zavod za algebru i teoriju brojeva |
Godina diplomiranja: | 2018. |
Godina doktoriranja: | 2024. |
Na zavodu od: | 2020. |
prijediplomski
diplomski
integrirani prijediplomski i diplomski
Napomena: Ove radove održava Knjižnica Instituta Ruđer Bošković koja vodi projekt Hrvatske znanstvene bibliografije CROSBI. Ovim linkom možete vidjeti sve podatke o radovima koje su autori unijeli u bazu podataka.
Izračunljive strukture, odlučivost i složenost (IP-2018-01-7459 ); izvor financiranja: Hrvatska zaklada za znanost; datum početka projekta: 1. 10. 2018.; datum završetka projekta: 30. 9. 2022. (vanjski suradnik)
Formalno rasuđivanje i semantike (UIP-05-2017-9219); izvor financiranja: Hrvatska zaklada za znanost; datum početka projekta: 1. 12. 2017.; datum završetka projekta: 1. 12. 2022. (vanjski suradnik)