| Zvanje: | viši 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 matematičku logiku i računarstvo |
| Godina diplomiranja: | 2018. |
| Godina doktoriranja: | 2024. |
| Na zavodu od: | 2020. |
prijediplomski
diplomski
integrirani prijediplomski i diplomski
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)