About me
I am currently a senior research assistant (postdoc) at the Department of Mathematics, University of Zagreb, Croatia.
I got my PhD at University of Zagreb in July 2025 under the supervision of prof. Zvonko Iljazović with the thesis titled "A local approach to computability of quotient spaces".
Research
Publications
- V. Čačić, M. Čelar, M. Horvat and Z. Iljazović: Computable Approximations of Semicomputable Graphs. Logical Methods in Computer Science, vol. 22, no. 1, 2026.
- Matea Čelar and Zvonko Iljazović: Computable type of certain quotient spaces. The Journal of Symbolic Logic, vol. 90, no. 4, pp. 1480–1510, 2025.
- Matea Čelar and Zvonko Iljazović: Computability of glued manifolds. Journal of Logic and Computation, vol. 32, no. 1, pp. 65-97, 2022.
- Matea Čelar and Zvonko Iljazović: Computability of products of chainable continua. Theory of Computing Systems, vol. 65, pp. 410-427, 2021.
Invited talks & special sessions
- Computable inner approximation of topological graphs. Special Session on Topology and Computing at the 40th Summer Conference on Topology and its Applications, 13-17 July 2026, Split, Croatia. (slides)
- Computable subcontinua and effective decomposability of arcs and arc-like continua. Special Session on Computability in Analysis at the Logic Colloquium 2026, 29 June - 3 July 2026, Swansea, Wales. (slides)
- Computable approximations of semicomputable graphs. Twenty-First International Conference on Computability and Complexity in Analysis, 15-18 July 2024, Swansea, Wales. (abstract, slides)
Contributed talks
- Effective decompositions of continua with embedded arcs. Twenty-Third International Conference on Computability and Complexity in Analysis, 29-31 July 2026, Trier, Germany. (abstract, slides)
- Computability of manifolds with cylindrical ends. 8th Croatian Mathematical Congress, 2-5 July 2024, Osijek, Croatia. (slides)
- Computability of non-compact manifolds. Zagreb Logic Conference 2024, 12-15 January 2024, Zagreb, Croatia. (abstract, slides)
- Non-compact manifolds and computable type. Twentieth International Conference on Computability and Complexity in Analysis, 7-9 September 2023, Dubrovnik, Croatia. (abstract)
- Computable type of certain quotient spaces. Logic and Applications 2022 (LAP 2022), 26-30 September 2022, Dubrovnik, Croatia. (abstract)
- Computable type of certain quotient spaces. Computability in Europe 2022: Revolutions and Revelations in Computability, 11-15 July 2022, Swansea, Wales. (abstract, slides)
- Computable type of certain quotient spaces. 7th Croatian Mathematical Congress, 15-18 June 2022, Split, Croatia. (abstract, slides)
- Computable type of an unglued space. Eighteenth International Conference on Computability and Complexity in Analysis, 26-28 July 2021, Munich, Germany (virtual). (abstract, slides)
- Computability and adjunctions of Euclidean spaces. Seventeenth International Conference on Computability and Complexity in Analysis, 9-11 September 2020, Bologna, Italy (virtual). (abstract, slides)