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.

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.
2021-08-31. I gave a video presentation at this year's Category Theory conference, in Genova.
2021-05-20. I gave an online talk at ItaCa Fest 2021.
2021-04-30. I gave talks at the online Algebraic Rewriting Seminar and at the Theoretical Computer Science seminar of the University of Birmingham.
2021-04-01. An extended abstract of The smash product of monoidal theories has been accepted for LICS 2021.
2021-02-23. I gave a talk at the seminar on Higher Homotopical Structures, part of an intensive research programme at CRM in Barcelona.
2021-01-27. My latest preprint, The smash product of monoidal theories, is now on the arXiv.
2020-10-01. I have moved to Tallinn University of Technology.
2020-07-30. I have a new preprint on the arXiv, Diagrammatic sets and rewriting in weak higher categories, superseding last year's draft.
2020-07-05. I am giving a talk at the Geometric and Categorical Structures in Computation and Deduction (GeoCat) workshop.