Diana Kessler
I am currently a PhD student in the Laboratory for Compositional Systems and Methods at Tallinn University of Technology under the supervision of Amar Hadzihasanovic and Paweł Sobociński. My research interests are in the computational aspects of higher-dimensional diagram rewriting.
Publications
A. Hadzihasanovic, D. Kessler. Higher-dimensional subdiagram matching. 2023
In 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2023.
A. Hadzihasanovic, D. Kessler. Data structures for topologically sound higher-dimensional diagram rewriting. 2022
To appear in 5th International Conference on Applied Category Theory (ACT) 2022.
Talks
ACT, 18.07.2022, Glasgow, joint talk with Amar Hadzihasanovic. Data structures for topologically sound higher-dimensional diagram rewriting - video.
CaCS, 23.09.2022, online talk. Data structures for topologically sound higher-dimensional diagram rewriting - slides.
SmP workshop, 25.06.2023, Boston. Higher-dimensional subdiagram matching - slides.
LiCS, 29.06.2023, Boston. Higher-dimensional subdiagram matching.
ACT, 01.08.2023, Maryland. Higher-dimensional subdiagram matching - slides.
Teaching
Spring 2022 - I was a teaching assistant for the functional programming course ITI0212 Functional Programming.
Spring 2023 - I was a lecturer for the functional programming course ITI0212 Functional Programming.
Seminar
Autumn 2021 - I was in charge for the Tallcat seminar series.
Spring 2022 - I was in charge of the group's informal reading seminar.
Contact details:
Email:
Address:
Room 327, Department of Software Science, Cybernetics Building
Tallinn University of Technology
Akadeemia tee 21/1, 12618 Tallinn, Estonia