About me
I'm a Computer Science PhD student at Heriot-Watt University, working with Joe Wells and Fairouz Kamareddine as part of the ULTRA research group. I also regularly help with the Foundations 1 course (a course about the λ-calculus), and at the University's Maths Gym, which was set up to help all students with their mathematics-related questions. Before that, I graduated from Heriot-Watt University with a BSc in Mathematics and Computer Science (from September 2018 to June 2022). I'm originally from Ljubljana, Slovenia, where I lived until moving to Scotland for my studies. In my spare time I enjoy singing, volleyball, video games, and movies.
Research work
My research focuses on unambiguous representations of the language of mathematics. Currently, I'm working on fitting several existing pieces of software together to make encoding the semantics of mathematical formulas in LaTeX into the formulas themselves easier.Papers and talks
CICM 2023 Doctoral symposium talk PDF06 Sep 2023 at CICM 2023 in Cambridge, UK
Year 1 Progression talk PDF
13 Jun 2023 at Heriot-Watt University, Edinburgh, UK
Year 2 Progression talk PDF
20 Jun 2024 at Heriot-Watt University, Edinburgh, UK
Towards semantic markup of mathematical documents via user interaction PDF proceedings
talk slides Co-authored with Joe Wells and Fairouz Kamareddine
Published in Intelligent Computer Mathematics (17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings)
DOI: https://doi.org/10.1007/978-3-031-66997-2
ISBN: 978-3-031-66996-5 (softcover) 978-3-031-66997-2 (eBook)