| Title: | Senior research assistant |
| Location: | A306/III |
| Public phone number: | 5897 |
| E-mail: | |
| Official web page URL: | https://web.math.pmf.unizg.hr/~sehorva/ |
| Department: | Division of Mathematical Logic and Computer Science |
| Graduation year: | 2018 |
| PhD graduation year: | 2024 |
| Employed in this institution since: | 2020 |
Computable structures, decidability and complexity (IP-2018-01-7459 ); source of funding: Croatian Science Foundation - HRZZ; project start date: 1 October 2018; project completion date: 30 September 2022
Formal reasoning and semantics (UIP-05-2017-9219); source of funding: Croatian Science Foundation - HRZZ; project start date: 1 December 2017; project completion date: 1 December 2022
Pristupačnost
