Amar Hadzihasanovic.

You can:	View my personal details;
or:	See the list of my publications;
or:	Look at the slides of some talks;
or:	Try out my software rewalt;
or:	Read about courses I teach;
or:	Send me an e-mail.

I am an Assistant Professor at Tallinn University of Technology in the Compositional Systems and Methods group, and a Scientific Advisor at Quantinuum.

Latest.

2025-07-02. My fourth preprint joint with Clémence Chanavat, Semi-strictification of (∞, n)-categories, is now available on the arXiv.
2025-06-27. My student Diana Kessler has successfully defended her PhD thesis.
2025-05-04. Together with Fosco Loregian, I organised the 110th edition of PSSL (Peripatetic Seminar on Sheaves and Logic) in Tallinn.
2025-04-30. I have signed a contract with Cambridge University Press to publish my book Combinatorics of higher-categorical diagrams in the LMS Lecture Note Series.
2025-04-22. I am giving a talk at the Logic and Semantics seminar of the University of Cambridge.
2024-12-18. My article A model for the coherent walking ω-equivalence, joint work with Loubaton, Ozornova, and Rovelli, has been accepted for publication in the Proceedings of the AMS.
2024-11-28. My article Diagrammatic sets as a model of homotopy types, joint work with Clémence Chanavat, has been accepted for publication in Homology, Homotopy and Applications.
2024-10-28. My third preprint joint with Clémence Chanavat, Model structures for diagrammatic (∞, n)-categories, is now available on the arXiv.
2024-10-22. I gave a talk on Diagrammatic (∞, n)-categories in the Atlantic Category Theory Seminar.
2024-10-02. A second preprint joint with Clémence Chanavat, Equivalences in diagrammatic sets, is now available on the arXiv.
2024-09-02. My article Acyclicity conditions on pasting diagrams, a joint work with Diana Kessler, was accepted for publication in Applied Categorical Structures.
2024-09-01. I was awarded a 1-year grant by ARIA — Advanced Research + Innovation Agency as part of the Safeguarded AI programme.
2024-07-10. I have a new preprint on the arXiv, Diagrammatic sets as a model of homotopy types, a joint work with Clémence Chanavat.
2024-06-24. I gave a talk at Category Theory 2024, in Santiago de Compostela.
2024-04-24. A new preprint, A model for the coherent walking ω-equivalence, joint work with Félix Loubaton, Viktoriya Ozornova, and Martina Rovelli, is now on the arXiv.
2024-04-12. I have written a book on the Combinatorics of higher-categorical diagrams.
2023-11-17. I gave a talk in the (i)Po(m)set Project Online Seminar.
2023-07-28. My paper Obstructions to compositionality, joint work with Caterina Puca, Fabrizio Genovese, and Bob Coecke, has been accepted for ACT 2023.
2023-07-06. I am giving an invited talk at the special GETCO session of the 29th Nordic Congress of Mathematicians.
2023-06-08. I am giving an invited talk at an event in honour of François Métayer's retirement, in Paris.
2023-05-01. I am now an Assistant Professor at Tallinn University of Technology.
2023-04-18. My paper Higher-dimensional subdiagram matching, joint work with Diana Kessler, has been accepted for LICS 2023.
2023-02-01. Clémence Chanavat has started with me as a PhD student.
2022-09-21. My latest paper with Diana Kessler is now on the arXiv, while our library rewalt is on PyPI.
2022-06-08. My paper Data structures for topologically sound higher-dimensional diagram rewriting, joint work with Diana Kessler, has been accepted for ACT 2022.
2022-06-02. I am giving an invited talk at the 11th GETCO, in Paris.
2022-02-23. I am giving a talk at the invited meeting on Logic and Higher Structures at CIRM, in Marseille.
2022-01-01. I was awarded a 4-year Start-up Grant by the Estonian Research Council for my project Rewriting in a directed homotopy theory.